1991
The meaning of negative premises in transition system specifications (extended abstract)
Publication
Publication
Presented at the
Automata, Languages and Programming , Madrid
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
Automata, Languages and Programming | |
Bol, R. N., & Groote, J. F. (1991). The meaning of negative premises in transition system specifications (extended abstract). In Proceedings of Automata, Languages and Programming 0000 (1991) (pp. 481–494). Springer. |