Login / Signup
The upsilon-Calculus as an Assertion-Language for Fairness Arguments
Frank A. Stomp
Willem P. de Roever
Rob Gerth
Published in:
Inf. Comput. (1989)
Keyphrases
</>
language learning
formal language
natural language
specification language
relational calculus
database query languages
game theory
computational linguistics
representation language
argumentation systems
agent programming
database programming language
lambda calculus