1269 search results - page 20 / 254 » Pi-Calculus in Logical Form |
CADE
2006
Springer
14 years 10 months ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
EUROGP
2000
Springer
14 years 1 months ago
2000
Springer
1 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in rst time. The new representation of logic...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
FLAIRS
2007
14 years 5 days ago
2007
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
AML
2005
13 years 9 months ago
2005
We show that a strong form of the so called Lindstr