1742 search results - page 114 / 349 » An Applicative Module Calculus |
102
Voted
CADE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
103
Voted
AUSAI
1998
Springer
15 years 4 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
CASCON
1996
15 years 2 months ago
1996
This paper describes the use of WatIF, a simple compiler intermediate form based on the -calculus, for writing compiler front-ends for a wide range of programming languages. Somew...
AAAI
1992
15 years 1 months ago
1992
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...