Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for fixpoints with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (15) 1988-1990 (15) 1991-1994 (21) 1995-1996 (15) 1997-2000 (17) 2001-2003 (27) 2004-2006 (21) 2007-2008 (18) 2009-2011 (15) 2012-2015 (17) 2016-2020 (15) 2021-2024 (14)
Publication types (Num. hits)
article(58) inproceedings(149) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(15) CSL(9) CAV(6) FICS(5) ICALP(5) CONCUR(4) ESOP(4) POPL(4) Proc. ACM Program. Lang.(4) Theor. Comput. Sci.(4) AMAST(3) IJCAI(3) JELIA(3) MFCS(3) PODS(3) VMCAI(3) More (+10 of total 124)
Authors
Edmund M. Clarke(4) Helmut Seidl(4) Marc Denecker(4) Pierre Clairambault(4) Bart Bogaerts 0001(3) Delia Kesner(3) Fabio Somenzi(3) Farn Wang(3) Jan Outrata(3) Joost Vennekens(3) Kavita Ravi(3) Kewen Wang 0001(3) Lutz Schröder(3) Nathalie Bertrand 0001(3) Philippe Schnoebelen(3) Radim Belohlávek(3) More (+10 of total 307)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 77 keywords
Results
Found 210 publication records. Showing 210 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
14Els Laenens, Dirk Vermeir A Logical Basis for Object Oriented Programming. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
14Andreas Goerdt On the Expressive Strength of the Finitely Typed Lambda-Terms. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Phokion G. Kolaitis, Christos H. Papadimitriou Why Not Negation by Fixpoint? Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Jan Chomicki, Tomasz Imielinski Temporal Deductive Databases and Infinite Objects. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Andreas Goerdt Characterizing Complexity Classes by General Recursive Definitions in Higher Types. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Serge Abiteboul, Stéphane Grumbach COL: A Logic-Based Language for Complex Objects. Search on Bibsonomy EDBT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Robert E. Kent The Metric Closure Powerspace Construction. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
14Ashok K. Chandra, David Harel Horn Clauses and the Fixpoint Query Hierarchy. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF logic program, PROLOG, query language, horn clause, relational data base
14Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
14Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #210 of 210 (100 per page; Change: )
Pages: [<<][1][2][3]
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