The meaning of negative premises in transition system specifications (extended abstract)

Authors:
Roland Bol;Jan Friso Groote
Affiliations:
-;-
Venue:
Proceedings of the 18th international colloquium on Automata, languages and programming
Year:
1991

Citing 0
Cited 3

Inductive definitions, semantics and abstract interpretations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic (TOCL)
A congruence theorem for structured operational semantics with predicates and negative premises

Nordic Journal of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract