Login / Signup
On sequents defined by means of information systems.
Miroslav Novotný
Published in:
Fundam. Informaticae (1981)
Keyphrases
</>
information systems
linear logic
health care
sequent calculus
computer science
general purpose