The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LFCS"( http://dblp.L3S.de/Venues/LFCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lfcs

Publication years (Num. hits)
1992 (47) 1994 (36) 1997 (43) 2007 (36) 2009 (32) 2013 (30) 2016 (28) 2018 (23) 2020 (18) 2022 (24)
Publication types (Num. hits)
inproceedings(307) proceedings(10)
Venues (Conferences, Journals, ...)
LFCS(317)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 47 keywords

Results
Found 317 publication records. Showing 317 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dieter Spreen Effective Operators and Continuity Revisited. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Raymond Hoofman Non-Stable Models of Linear Logic. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Søren Christensen A Logical Characterization of Asynchronously Communicating Agents. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Guy Perrier Automated Deduction in Additive and Multiplicative Linear Logic. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov 0002 Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Peter M. W. Knijnenburg, Frank Nordemann A Categorical Interpretation of Partial Function Logic and Hoare Logic. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jurate Sakalauskaite A Sequent Calculus for a First Order Linear Temporal Logic with Equality. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Regimantas Pliuskevicius Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Arvind Gupta A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1P. N. Benton Strictness Logic and Polymorphic Invariance. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Andy King, Paul Soper Ordering Optimizations for Concurrent Logic Programs. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Aristide Mégrelis Partial Algebra + Order-Sorted Algebra = Galactic Algebra. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ganesh Baliga, John Case, Sanjay Jain 0001, Mandayam Suraj Machine Learning of Higher Order Programs. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1John Mullins Kleene Automata and Recursion Theory. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Abbas Edalat Continuous I-Categories. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  BibTeX  RDF
1Jerzy Tiuryn Solving Equational Constraints in Polymorphic Types. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Kevin Lano Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #317 of 317 (100 per page; Change: )
Pages: [<<][1][2][3][4]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license