Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1962-1981 (16) 1983-1990 (18) 1991-1993 (16) 1994-1995 (15) 1996 (16) 1997-1999 (16) 2000-2001 (23) 2002 (26) 2003-2004 (24) 2005 (18) 2006 (22) 2007 (17) 2008 (15) 2009-2010 (22) 2011-2012 (25) 2013 (18) 2014-2015 (33) 2016 (18) 2017 (27) 2018 (16) 2019-2020 (36) 2021 (25) 2022 (22) 2023 (19) 2024 (4)
Publication types (Num. hits)
article(217) book(4) incollection(8) inproceedings(272) phdthesis(5) proceedings(1)
Venues (Conferences, Journals, ...)
J. Philos. Log.(34) CoRR(27) CogSci(17) Synth.(15) WCII(13) Stud Logica(11) ECSQARU(10) Cogn. Sci.(9) J. Log. Lang. Inf.(9) Int. J. Approx. Reason.(8) Notre Dame J. Formal Log.(8) J. Appl. Non Class. Logics(6) Rev. Symb. Log.(6) IEEE Trans. Comput. Aided Des....(5) JSAI-isAI Workshops(5) KI(5) More (+10 of total 235)
Authors
Gabriele Kern-Isberner(28) Christoph Beierle(21) Giuseppe Sanfilippo(14) Niki Pfeifer(13) Angelo Gilio(12) Igor Douven(8) Marc Finthammer(8) Tommaso Flaminio(8) David E. Over(7) Laura Giordano 0001(7) Lluís Godo(7) Guido Boella(5) Hans Rott(5) Horacio L. Arló-Costa(5) Kamal Premaratne(5) Leendert W. N. van der Torre(5) More (+10 of total 709)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 200 occurrences of 174 keywords
Results
Found 507 publication records. Showing 507 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
13Carsten K. Gomard A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF partial evaluation, lambda calculus, compiler generation, self-application
13Angelika Zobel Program structure as basis for parallelizing global register allocation. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
13Spiro Michaylov, Frank Pfenning Natural Semantics and Some of Its Meta-Theory in Elf. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
13Guy L. Steele Jr. Making Asynchronous Parallelism Safe for the World. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
13Vivek Sarkar, David C. Cann POSC - a partitioning and optimizing SISAL compiler. Search on Bibsonomy ICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SISAL
13Timothy J. Hickey, Jacques Cohen Automating program analysis. Search on Bibsonomy J. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
13Theo M. V. Janssen, Peter van Emde Boas On the Proper Treatment or Referencing, Dereferencing and Assignment. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #507 of 507 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]
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