1
0
0
(1 - 17 von 30
)
Logic, Construction, Com…tion. Ontos-Verlag (D)
von HANNES DIENER, PETER SCHUSTER, MONIKA SEISENBERGER . EDITED BY: ULRICH BERGER, Ontos-Verlag (D), 2012, Gebundene Ausgabe
Ulrich Berger Hannes Diener Peter Schuster Monika Seisenberger -...
www.abebooks.co.uk
AbeBooks is the world's largest marketplace for new, used and out of print books.
A nonstandard hierarchy comparison theorem for the slow and fast...
biblio.ugent.be
Ulrich Berger, Hannes Diener, Peter Schuster, and Monika Seisenberger, 3:79–90. Frankfurt, Germany: Ontos. APA. Buchholz, Wilfried ...
Monika Seisenberger | XanEdu Customization Platform
www.academicpub.com
Author: Monika Seisenberger. Results. The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction Springer ...
Ways of Proof Theory - Google Books
books.google.de
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a...
Algebra and Coalgebra in Computer Science: 5th International...
books.google.de
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw,...
A Finite Axiomatisation of Inductive-Inductive Definitions in ...dx.doi.org › ...
www.degruyter.com
Edited by: Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger. Publisher: De Gruyter. eISBN: Subjects: Philosophy ...
Algebra and Coalgebra in Computer Science: First International...
books.google.de
CALCO-jnr was organized by Peter Mosses, John Power and Monika Seisenberger. A meeting of the IFIP WG1.3 – Foundations of System Specification – took ...
Types for Proofs and Programs: International Workshop, TYPES '98,...
books.google.fi
... Reus Eike Ritter Giovanni Sambin Monika Seisenberger Anton Setzer Jan Smith Sergei Soloview Makoto Takeyama Silvio Valentini Markus Wenzel Benjamin ...
Theory Higman (Isabelle2019: June 2019)
isabelle.in.tum.de
(* Title: HOL/Proofs/Extraction/Higman.thy Author: Stefan Berghofer, TU Muenchen Author: Monika Seisenberger, LMU Muenchen *) section ‹Higman ...
Types for Proofs and Programs: International Workshop, TYPES ...books.google.ae › books
books.google.ae
... Sambin Monika Seisenberger Anton Setzer Jan Smith Sergei Soloview Makoto Takeyama Silvio Valentini Markus Wenzel Benjamin Werner List of Referees.
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in...
Exogenous Factors in Colonic Carcinogenesis - Google Books
books.google.de
A proof of Higman's lemma not requiring decidability was given by Fridlender [Fri97], inspired by ideas of Veldman. Our proof of 242 MONIKA SEISENBERGER.
Reuniting the Antipodes - Constructive and Nonstandard Views of the...
books.google.de
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical...
Relations and Kleene Algebra in Computer Science: 9th International...
books.google.de
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th...
Theory Higman (Isabelle2008: June 2008)
isabelle.in.tum.de
Title: HOL/Extraction/Higman.thy ID: $Id: Higman.thy,v :50:34 wenzelm Exp $ Author: Stefan Berghofer, TU Muenchen Monika Seisenberger, ...
Theory Higman_Extraction
www.cl.cam.ac.uk
Title: HOL/Proofs/Extraction/Higman_Extraction.thy Author: Stefan Berghofer, TU Muenchen Author: Monika Seisenberger, LMU Muenchen *) subsection ...
Verwandte Suchanfragen zu Monika Seisenberger
Anton Setzer Hannes Diener John Power | Ulrich Berger Peter Schuster Karim Kanso | Alfred Kutscher Hans-Jürgen Forster |
Personen Vorname "Monika" (57514) Name "Seisenberger" (90) |
sortiert nach Relevanz / Datum