PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tassi, Enrico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Event Indexing Systems for Efficient Selection and Analysis of HERA Data

, , , , und . CoRR, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. Enrico Pfüller University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Event Indexing Systems for Efficient Selection and Analysis of HERA Data, , , , und . CoRR, (2001)A Modular Formalisation of Finite Group Theory., , , , und . TPHOLs, Volume 4732 von Lecture Notes in Computer Science, Seite 86-101. Springer, (2007)Superposition as a logical glue, und . TYPES, Volume 53 von EPTCS, Seite 1-15. (2009)Crafting a Proof Assistant., , , und . TYPES, Volume 4502 von Lecture Notes in Computer Science, Seite 18-32. Springer, (2006)The Matita Interactive Theorem Prover., , , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 64-69. Springer, (2011)An Interactive Driver for Goal-directed Proof Strategies., und . Electron. Notes Theor. Comput. Sci., (2009)Formalising Overlap Algebras in Matita., und . Mathematical Structures in Computer Science, 21 (4): 763-793 (2011)Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover., , , und . J. Autom. Reasoning, 49 (3): 427-451 (2012)Regular Expressions, au point, , und . CoRR, (2010)Working with Mathematical Structures in Type Theory., und . TYPES, Volume 4941 von Lecture Notes in Computer Science, Seite 157-172. Springer, (2007)