Thomas Seiller - Veröffentlichungen allgemein

(1 - 5 von 8

)

Logic Programming and Logarithmic SpaceSpringer

link.springer.com

von C Aubert · · Zitiert von: 21 — Thomas Seiller. Show authors. Part of the book series: Lecture Notes ... Thomas Seiller. Authors. Clément Aubert. View author publications. You can also ... von C Aubert · · Zitiert von: 21 — Thomas Seiller. Show authors. Part of the book series: Lecture Notes ... Thomas Seiller. Authors. Clément Aubert. View author publications. You can also ...

Logic Programming and Logarithmic Space | SpringerLink

link.springer.com

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this...

Interaction Graphs: Full Linear Logic : Thomas Seiller - Internet Archivearchive.org › details › arxiv-1504

archive.org

· by: Thomas Seiller. Publication date: Usage: http://arxiv.org/licenses/nonexclusive-distrib

theses.fr – Thomas Seiller , Logique dans le facteur hyperfini :...

www.theses.fr

Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité. par Thomas Seiller. Thèse de doctorat en Mathématiques. Sous la ...

Thomas SeillerTheses.fr

www.theses.fr

par Pierre-Yves Coursolle sous la direction de Emmanuel Régis Lionel Haucourt et de Thomas Seiller . - Institut polytechnique de Paris ...

Verwandte Suchanfragen zu Thomas Seiller

Person "Seiller" (1)
Vorname "Thomas" (124868)
Name "Seiller" (74)

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

Veröffentlichungen allgemein Thomas Seiller

Logic Programming and Logarithmic SpaceSpringer

Logic Programming and Logarithmic Space | SpringerLink

Interaction Graphs: Full Linear Logic : Thomas Seiller - Internet Archivearchive.org › details › arxiv-1504

theses.fr – Thomas Seiller , Logique dans le facteur hyperfini :...

Thomas SeillerTheses.fr