Anton Setzer und Computer Science - Info zur Person

(1 - 11 von 12

)

Proof Theory meets Type Theory

resources.illc.uva.nl

— Anton Setzer Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP UK Telephone: (national) (01792) › newsit...

dblp: Anton Setzer

dblp.uni-trier.de

List of computer science publications by Anton Setzer

Undecidability of Equality for Codata Types - HAL Univ. Lorraine

ifip.hal.science

Ulrich Berger, Anton Setzer. Undecidability of Equality for Codata Types. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), ... › hal

dblp: Faron Moller

dblp.uni-trier.de

List of computer science publications by Faron Moller

Inductive-Inductive Definitions | SpringerLink

link.springer.com

von F Nordvall Forsberg · · Zitiert von: 71 — Fredrik Nordvall Forsberg &; Anton Setzer. Conference paper Accesses. 3 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS ... › chapter

Anton Setzer

easychair.org

Anton Setzer. Organization: Dept. of Computer Science, University of Wales Swansea. Web site: http://www.cs.swan.ac.uk/~csetzer/. Pages in this Program ...

Anton Setzer

www2.math.uu.se

Anton Setzer. FOTO. I am now a lecturer at Dept. of Computer Science, University of Wales Swansea; See my new homepage at http://www.cs.swan.ac.uk/~ ...

Undecidability of Equality for Codata Types - Archive ouverte ...

hal.archives-ouvertes.fr

von U Berger · · Zitiert von: 2 — Ulrich Berger, Anton Setzer. Undecidability of Equality for Codata Types. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), ... › ha...

Links for "Logical Systems"

legacy.earlham.edu

... Mathematical Logic, Philosophical Logic and Theoretical Computer Science. A very large collection, organized by city. From Ralph Matthes and Anton Setzer.

[Python] Bug? if PyGreSQL, inserttable is used followed by a for...

grokbase.com

Anton Setzer Telephone: Department of Computer Science (national) (01792) University of Wales Swansea (international) +

CiteSeerX — Version 0: Automated Verification of Signalling...

citeseer.ist.psu.edu

Anton Setzer: SVM HeaderParse 0.2: AUTHOR AFFIL: Dept. of Computer Science; Swansea University; Swansea,UK: SVM HeaderParse 0.2: ABSTRACT: In this paper we present a verification

Alle Infos zum Namen "Anton Setzer"

Verwandte Suchanfragen zu Anton Setzer

Peter Hancock
Brigitte Pientka
Ulrich Berger

Andreas Abel
Karim Kanso
Eva Kihm

Peter Stein
Daniel Staiber Ivw
Benedikt Mayr

Person "Setzer" (3)
Vorname "Anton" (20301)
Name "Setzer" (490)

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

Anton Setzer und Computer Science Person-Info