Volker Weispfenning und Logic - Info zur Person

(1 - 13 von 13

)

Max-Planck-Institut für Informatik: Guests

www.mpi-inf.mpg.de

Abteilungen Automation of Logic People Guests. Algorithms & Complexity; ... Volker Weispfenning: Christoph Zengler

Volker Weispfenning, Infinitary Model‐Theoretic Properties Of...

philpapers.org

Lynne Tirrell · John Wilkins · Other editors · Contact us · Learn more about PhilPapers · Volker Weispfenning · Mathematical Logic Quarterly 19 (7): (1973) ...

Volker Weispfenning, Nullstellensätze — A Model Theoretic Framework -...

philpapers.org

Volker Weispfenning Journal of Symbolic Logic 46 (4): Volker Weispfenning Mathematical Logic Quarterly 19 (7):

Volker Weispfenning, Negative-existentially complete structures and...

philpapers.org

This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule.

Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April

books.google.de

Algorithmic Algebra and Logic: Proceedings of the A3L , April 3-6, Passau, Germany : Conference in Honor of the 60th Birthday of Volker Weispfenning.

Publikationen • Programmiersprachen • Fachbereich ...

www.mi.fu-berlin.de

Dirk Draheim, Dima Suliman, Winfried Neun. Employing Computer Algebra for Classifying Mathematical Web Content. Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, Universität Passau, to appear. Dirk Draheim, Christof Lutteroth and Gerald Weber.

Fritz Weispfenning
Peter Weispfenning
Gunter Ritter

Harald Hundius

Personen
Vorname "Volker" (26682)
Name "Weispfenning" (22)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Volker Weispfenning und Logic Person-Info

Max-Planck-Institut für Informatik: Guests

Volker Weispfenning, Infinitary Model‐Theoretic Properties Of...

Volker Weispfenning, Nullstellensätze — A Model Theoretic Framework -...

Volker Weispfenning, Negative-existentially complete structures and...

Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April

Publikationen • Programmiersprachen • Fachbereich ...

Solving Undecidable Problems in the Theory of Real Numbers ...

Solving numerical constraints - Archive ouverte HAL

Publications: Proceedings Article: Solving Undecidable Problems in...

Alle Infos zum Namen "Volker Weispfenning"