Suttner, C. and Sutcli e, G., The TPTP Problem Library (TPTP v2.1.0), TR- AR-97-01, Institut fuer Informatik, Technische Universitaet Muenchen, Germany (1997). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
System Description: Interface between Theorema And External.. - Kutsia, Nakagawa (2001) (Correct)
....[4] and a nite model and counter example searcher Mace [18] The interface consists of two types of links direct and indirect from Theorema to an external system. The indirect link is established with Setheo, Scott and Waldmeister using rst an intermediate translation into TPTP [22] format, and then the TPTP2X converter which converts TPTP format les into a format of the speci ed external system. All the other provers are linked directly to Theorema, without any intermediate routine, translating input from Theorema Supported by the Austrian Science Foundation (FWF) under ....
Suttner, C. and Sutcli e, G., The TPTP Problem Library (TPTP v2.1.0), TR- AR-97-01, Institut fuer Informatik, Technische Universitaet Muenchen, Germany (1997).
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
....connections between computation, logic and geometry. The relation to other geometric ways of viewing computation, such as [24] on distributed computation, is yet to be clari ed. Another interesting piece of work at the intersection of logic (here, linear logic) and simplicial geometry is [3, 4], which provides sophisticated models for the multiplicative exponential fragment of linear logic [17] based on ane simplicial spaces with an extra homological constraint. Note that there are strong links between S4 and linear logic, see e.g. 34] 3. Logics, the Curry Howard Correspondence, and ....
, The geometry of sequential computation II: Full abstraction for PCF, Institutsbericht, Technische Universitaet Muenchen, Institut fuer Informatik, August 1997.
Virtual Data Space - A Universal Load Balancing Scheme - Decker (1997) (2 citations) (Correct)
.... DFG Sonderforschungsbereich 376 : Massive Parallelit at Algorithmen, Entwurfsmethoden, Anwendungen and by the EU ESPRIT Long Term Research Project 20244 (ALCOM IT) from the (distributed) DYNAMO system, process them and create new objects which are distributed by the system. The ALDY library [S95] extends this programming model by introducing the Process Worker Task (PWT) model which allows more than one (migratable) worker process on every processing node, each of which consuming and generating tasks independently from each other. By using task identifiers, specified by the user, it is ....
T. Schnekenburger: The ALDY Load Distribution System, SFB-Bericht 342/11/95 A, Technische Universitaet Muenchen, 1995.
Virtual Data Space - A Universal Load Balancing Scheme - Decker (1997) (2 citations) (Correct)
.... DFG Sonderforschungsbereich 376 : Massive Parallelit at Algorithmen, Entwurfsmethoden, Anwendungen and by the EU ESPRIT Long Term Research Project 20244 (ALCOM IT) from the (distributed) DYNAMO system, process them and create new objects which are distributed by the system. The ALDY library [S95] extends this programming model by introducing the Process Worker Task (PWT) model which allows more than one (migratable) worker process on every processing node, each of which consuming and generating tasks independently from each other. By using task identifiers, specified by the user, it is ....
T. Schnekenburger: The ALDY Load Distribution System, SFB-Bericht 342/11/95 A, Technische Universitaet Muenchen, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC