1
0
0
(1 - 23 von 26
)
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 ...
Algorithms for Equality and Unification in the Presence of Notational...
www.sciencedirect.com
DHKP96: Gilles Dowek, Thérèse Hardin, Claude Kirchner, and Frank Pfenning. Unification via explicit substitutions: The case of higher-order patterns. In Joint ...
Conservative Extensions in the Lightweight Description Logic EL –...
iccl.inf.tu-dresden.de
Carsten Lutz, Frank Wolter Conservative Extensions in the Lightweight Description Logic EL In Frank Pfenning, eds., Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume of Lecture Notes in Artificial IntelligenceSpringer
Search results for "Frank Pfenning" – FacetedDBLP
dblp.l3s.de
Publications of "Frank Pfenning" ( http://dblp.L3S.de/Authors/Frank_Pfenning ) URL (Homepage): http://www.cs.cmu.edu/~fp/ Author page on DBLP Author page in RDF ...
WST 2004
verify.rwth-aachen.de
Frank Pfenning, Carnegie Mellon. Ashish Tiwari, SRI. Ralf Treinen, ENS Cachan. Roel de Vrijer, Amsterdam. CONFERENCE CHAIR Jürgen Giesl · LuFG Informatik II ...
Modeling and Analysis of Information Systems » …
www.mais.informatik.tu-darmstadt.de
In Frank Pfenning, editor, Proceedings of the 21st Conference on Automated Deduction (CADE-21), Lecture Notes in Artificial Intelligence, vol , pp. 231–246, Springer-Verlag, Andreas Schlosser, Christoph Walther, Michael Gonder, and Markus Aderhold. Context Dependent Procedures and Computed Types in VeriFun.
Improvements in Formula Generalization - TUbiblio
tubiblio.ulb.tu-darmstadt.de
... July , ; proceedings / Frank Pfenning (ed.). - Berlin [u.a.] : Springer, 2007, S (Lecture notes in computer science ; :
dblp: Polarized Substructural Session Types.
dblp.uni-trier.de
Bibliographic details on Polarized Substructural Session Types.
dblp: Machine Learning, Volume 9
dblp.uni-trier.de
Bibliographic content of Machine Learning, Volume 9
Grundlagen der Künstlichen Intelligenz · Computerunterstütztes...
www2.informatik.uni-freiburg.de
... logic, mainly on syntax and semantics of propositional and first-order logic, and proof systems for those logics. Frank Pfenning: Automated Theorem Proving.
ICFP Programwww.icfpconference.org › schedule
www.icfpconference.org
9:00-10:00: Invited talk: Frank Pfenning (Carnegie Mellon University). 10:00-10:25: Break. 10:25-11:15: McErlang: A Model Checker for a Distributed Functional ...
PPDP 2011: Symposium Program
www-ps.informatik.uni-kiel.de
13th International ACM SIGPLAN Symposium on Symposium on Principles and Practice of Declarative Programming - PPDP 2011
Mitgliedschaften in Wissenschafts- und Fachorganisationen
www.informatik.uni-bremen.de
Mitglied der Working Group 2.4 ("System Implementation Languages") der Dr. Frank Pfenning, Carnegie Mellon University, USA. 90 Einar Karlsen, Computer ...
@InProceedings{Lutz-Wolter-CADE-07, author = {Carsten Lutz and ...
www.informatik.uni-bremen.de
... pages = { }, editor = {Frank Pfenning}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, volume = {4603}, springer = {yes} }
LPAR 2001, 2nd CFP
www.informatik.uni-bremen.de
... Ganzinger (Max-Planck-Inst) Leszek Pacholski (Univ. of Wroclaw) Georg Gottlob (TU Wien) Frank Pfenning (Carnegie Mellon) Jean Goubault ...
Foundations of Artificial Intelligence · Computer-Supported Modeling...
www2.informatik.uni-freiburg.de
... mainly on syntax and semantics of propositional and first-order logic, and proof systems for those logics. Frank Pfenning: Automated Theorem Proving. ...
Verwandte Suchanfragen zu Frank Pfenning
Amal Ahmed Martin Baker Carmen Walter | Andreas Kehrel Tina Aakerlund Claudia Grau | Angelika Reith Ulrike Schüßler-Leiser |
Person "Pfenning" (2) Vorname "Frank" (79403) Name "Pfenning" (256) |
sortiert nach Relevanz / Datum