TICtial logics reconsidered:a conservative approach

Authors
Olaf Owe
Citation
Olaf Owe, TICtial logics reconsidered:a conservative approach, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 208-223
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
3
Year of publication
1993
Pages
208 - 223
Database
ACNP
SICI code