103 search results - page 2 / 21 » Typed Normal Form Bisimulation |
ER
1994
Springer
13 years 9 months ago
1994
Springer
A normal form object-oriented entity relationship (OOER) diagram is presented to address a set of 00 data modelling issues, viz. the inability to judge the quality of an 00 schema,...
AAAI
2010
13 years 3 months ago
2010
We consider in this paper the size of a Decomposable Negation Normal Form (DNNF) that respects a given vtree (known as structured DNNF). This representation of propositional knowl...
PARLE
1987
13 years 8 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
LPAR
2012
Springer
12 years 27 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
JLP
2007
13 years 5 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...