Frank Pfenning und Logic Programming - Info zur Person

(1 - 15 von 21

)

Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov,...

philpapers.org

Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic –157. A...

Frank Pfenning, Logic Programming and Automated Reasoning 5th...

philpapers.org

Logic Programming and Automated Reasoning 5th International Conference, Lpar '94, Kiev, Ukraine, July , : Proceedings' [Book ...

Elf - Formal Reasoning Groupwww-formal.stanford.edu/clt/ARS/Entries/elf

www-formal.stanford.edu

[3] Frank Pfenning. Logic programming in the LF logical framework. In Gerard Huet and Gordon Plotkin, editors, Logical Frameworks, pages

SS > book reviews > Frank Pfenning

www-users.cs.york.ac.uk

home > book reviews > Frank Pfenning. Google > Frank Pfenning. author : Frank Pfenning. Books. Types in Logic Programming

Frank Pfenning (Author of Logic Programming and Automated Reasoning)

www.goodreads.com

Frank Pfenning is the author of Constructive Logic (0.0 avg rating, 0 ratings, 0 reviews), Logic Programming and Automated Reasoning (0.0 avg rating, 0 r...

bokus.com: Frank Pfenning - Böcker | Bokus bokhandel

Köp böcker av Frank Pfenning: Term Rewriting and Applications; Advances in Intelligent Data Analysis V; Logic Programming and Automated Reasoning m.fl.

Logic programming in the LF logical framework - Logical ...www.cambridge.org › core › books › logic-progr...

www.cambridge.org

By Frank Pfenning, Carnegie Mellon University. Edited by Gerard Huet, Institut National de Recherche en Informatique et en Automatique ...

Programming Languages and Systems - Esop'96: Proceedingsbooks.google.de › books

books.google.de

Frank Pfenning. Logic programming in the LF logical framework. In Gerard Huet and Gordon Plotkin, editors, Logical Frameworks, pages Cambridge ...

[ ] A Linear Logic Programming Language for Concurrent...

arxiv.org

Seth Copen Goldstein · Frank Pfenning ... Authors: Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning. (Submitted on 14 May ...

Pfenning, Frank [WorldCat Identities]

www.worldcat.org

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July , : proceedings by Frank Pfenning( Book )

MOVES: Software Modeling and Verification (Info 2)

www-i2.informatik.rwth-aachen.de

Fifth International Conference on Algebraic and Logic Programming ... Frank Pfenning (USA) Mario Rodríguez-Artalejo (Spain) Vijay Saraswat (USA) Peter Stuckey ...

Linear Logical Algorithms | SpringerLink

link.springer.com

Bottom-up logic programming can be used to declaratively specify many algorithms in a succinct and natural way, and McAllester and Ganzinger have shown that it...