Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2023 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
ICFP(2) LICS(2) ACM Trans. Comput. Log.(1) CoRR(1) CSL(1) ESOP(1) LACL(1) TLCA(1)
Authors
Harry G. Mairson(4) Andrzej S. Murawski(2) C.-H. Luke Ong(2) Bartosz Piotrowski(1) David Van Horn(1) Denis Béchet(1) Dragomir Radev(1) Edward W. Ayers(1) Hailey Schoelkopf(1) Jeremy Avigad(1) Julia L. Lawall(1) Marc de Falco(1) Michele Pagani(1) Peter Møller Neergaard(1) Philippe de Groote(1) Xavier Rival(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 12 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
72Andrzej S. Murawski, C.-H. Luke Ong Fast verification of MLL proof nets via IMLL. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multiplicative linear logic, disjoint union find, essential nets, dominator trees, proof nets
72Andrzej S. Murawski, C.-H. Luke Ong Dominator Trees and Fast Verification of Proof Nets. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF verification of proof nets, Linear Logic, dominator trees
48Harry G. Mairson, Xavier Rival Proofnets and Context Semantics for the Additives. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33David Van Horn, Harry G. Mairson Relating complexity and precision in control flow analysis. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
33Peter Møller Neergaard, Harry G. Mairson Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proofnet, complexity, type inference, normalization, intersection types, idempotence
24Michele Pagani The Cut-Elimination Theorem for Differential Nets with Promotion. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Marc de Falco The Geometry of Interaction of Differential Interaction Nets. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF differential interaction nets, differential linear logic, sharing graphs, linear logic, geometry of interaction
24Julia L. Lawall, Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Denis Béchet, Philippe de Groote Constructing Different Phonological Bracketings from a Proof Net. Search on Bibsonomy LACL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
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