Definition and basic properties of the deva meta-calculus

Authors
Matthias Weber
Citation
Matthias Weber, Definition and basic properties of the deva meta-calculus, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 391-431
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
4
Year of publication
1993
Pages
391 - 431
Database
ACNP
SICI code