2018 search results - page 7 / 404 » Code Normal Forms |
156
click to vote
ADC
2005
Springer
15 years 11 months ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
159
click to vote
LICS
2008
IEEE
16 years 8 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
158
click to vote
KI
2007
Springer
16 years 16 hour ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
179
click to vote
ER
1994
Springer
15 years 10 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,...
279
click to vote
NIL
1991
15 years 9 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.