( en | de | ru )

 

Disambiguierung von "Antonsen, Roger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Labelled System for IPL with Variable Splitting.

, und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2007)

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.

Susanne Rogers

Sebastian Roger

Gerhard Roger

Christoph Röger

Ralf Röger

 

Weitere Publikationen von Autoren mit dem selben Namen

Book Reviews., und . Stud Logica, 106 (1): 215-218 (2018)Uniform variable splitting.. IJCAR Doctoral Programme, Volume 106 von CEUR Workshop Proceedings, CEUR-WS.org, (2004)A Free Variable Sequent Calculus with Uniform Variable Splitting., und . TABLEAUX, Volume 2796 von Lecture Notes in Computer Science, Seite 214-229. Springer, (2003)A Labelled System for IPL with Variable Splitting., und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2007)Logical Methods - The Art of Thinking Abstractly and Mathematically. Springer, (2021)Liberalized Variable Splitting., und . J. Autom. Reason., 38 (1-3): 3-30 (2007)Consistency of Variable Splitting in Free Variable Systems of First-Order Logic., und . TABLEAUX, Volume 3702 von Lecture Notes in Computer Science, Seite 33-47. Springer, (2005)Incremental Variable Splitting., , , und . TABLEAUX (Workshops, Tutorials, and Short Papers), Volume IAM-11-002 von Technical Report, Seite 45-46. (2011)