( en | de | ru )

 

Disambiguierung von "Wallen, Lincoln A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Intuitionistic Force of Classical Search (Extended Abstract).

, , und . TABLEAUX, Volume 1071 von Lecture Notes in Computer Science, Seite 295-311. Springer, (1996)

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.

Wallen Mphepo

Henrik Wallén

Ulrich Lincoln

Tania Lincoln

Tania Lincoln

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Theorem Proving in Non-Classical Logics.. SCAI, Volume 1 von Frontiers in Artificial Intelligence and Applications, Seite 1-12. IOS Press, (1988)Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics.. MIT Press series in artificial intelligence MIT Press, (1990)Representing Unification in a Logical Framework., und . UNIF, Seite 10-12. (1995)Learning and Applying Generalised Solutions using Higher Order Resolution., und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 41-60. Springer, (1988)Matrix Proof Methods for Modal Logics.. IJCAI, Seite 917-923. Morgan Kaufmann, (1987)Logic Programming via Proof-valued Computations., und . ALPUK, Seite 253-262. Springer, (1992)A Calculus for the Construction of Modular Prolog Programs., und . J. Log. Program., 12 (1&2): 147-177 (1992)Proof-terms for classical and intuitionistic resolution., , und . J. Log. Comput., 10 (2): 173-207 (2000)On the Intuitionistic Force of Classical Search (Extended Abstract)., , und . TABLEAUX, Volume 1071 von Lecture Notes in Computer Science, Seite 295-311. Springer, (1996)Investigations into Proof-Search in a System of First-Order Dependent Function Types., und . CADE, Volume 449 von Lecture Notes in Computer Science, Seite 236-250. Springer, (1990)