2540 search results - page 223 / 508 » Abstract Logics as Dialgebras |
122
click to vote
FLAIRS
2000
15 years 8 months ago
2000
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
167
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
138
click to vote
CJ
2010
15 years 6 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
156
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L