C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Validating Behavioral Component Interfaces in Rewriting Logic.
Einar Broch Johnsen
Olaf Owe
Arild B. Torjusen
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
logic programming
predicate logic
query rewriting
special case
conjunctive queries
modal logic
software components
interface design
logical framework
defeasible logic
multi valued
visual interfaces
rewrite rules
truth values
computational properties
neural network
automated reasoning
human behavior
user interface