Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1974-1987 (19) 1988-1992 (20) 1993-1995 (16) 1996-1997 (16) 1998-1999 (21) 2000-2001 (21) 2002 (24) 2003-2004 (27) 2005 (27) 2006 (33) 2007 (36) 2008 (28) 2009 (29) 2010-2011 (19) 2012-2014 (20) 2015-2016 (15) 2017-2018 (15) 2019-2022 (21) 2023 (4)
Publication types (Num. hits)
article(99) incollection(5) inproceedings(307)
Venues (Conferences, Journals, ...)
CoRR(12) CAV(7) SAC(7) ALT(5) COLT(5) ECML(5) MICAI(5) SAS(5) CP(4) DEXA(4) FOCS(4) IACR Cryptol. ePrint Arch.(4) ICALP(4) IEEE Trans. Pattern Anal. Mach...(4) IJCAI(4) ISMVL(4) More (+10 of total 263)
Authors
Andrei Lissovoi(6) Pietro S. Oliveto(6) Yannis Tzitzikas(6) Endre Boros(5) Ildar Z. Batyrshin(5) Khaled M. Elbassioni(5) Leonid Khachiyan(5) Vladimir Gurvich(5) Anastasia Analyti(4) Benjamin Doerr(4) Dimitrios I. Diochnos(4) Imre J. Rudas(4) Jörg Hoffmann 0001(4) Kazuhisa Makino(4) Leonard Pitt(4) Luis A. Villa Vargas(4) More (+10 of total 802)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 208 occurrences of 172 keywords
Results
Found 411 publication records. Showing 411 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
11Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi Embedding Finite Sets in a Logic Programming Language. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Hans Leiß Polymorphic Constructs in Natural and Programming Languages. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
11Gennaro Monteleone Generalized Conjunctive Types. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11Xian-He Sun, Nabil Kamel, Lionel M. Ni Solving Implication Problems in Database Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11G. Scott Owen, Taylor Binkley KC expert - the development of an ICAI system for chemistry. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Joost N. Kok A Compositional Semantics for Concurrent Prolog. Search on Bibsonomy STACS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne On the Representation and Querying of Sets of Possible Worlds. Search on Bibsonomy SIGMOD Conference The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
11Stephen D. Brookes Semantically Based Axiomatics. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
11C. P. J. Koymanns, Gerard R. Renardel de Lavalette The Logic MPLomega. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
11Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing Existential Quantifiers in Abstract Data Types. Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
11Charles G. Nelson, Derek C. Oppen A Simplifier Based on Efficient Decision Algorithms. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #411 of 411 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
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