1992-09-07
Transition systems and dynamic semantics
Publication
Publication
Presented at the
European Conference on Logics in Artificial Intelligence (September 1992), Berlin, Germany
Additional Metadata | |
---|---|
, , , , | |
, | |
Springer | |
doi.org/10.1007/BFb0023431 | |
European Conference on Logics in Artificial Intelligence | |
Fernando, T. (1992). Transition systems and dynamic semantics. In Lecture Notes in Computer Science (pp. 232–251). Springer. doi:10.1007/BFb0023431 |