Reference : Sequential Dynamic Logic |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/26106 | |||
Sequential Dynamic Logic | |
English | |
Bochman, Alexander [> >] | |
Gabbay, Dov M. ![]() | |
2012 | |
Journal of Logic, Language and Information | |
21 | |
3 | |
279--298 | |
Yes | |
http://hdl.handle.net/10993/26106 | |
10.1007/s10849-011-9152-y | |
http://dx.doi.org/10.1007/s10849-011-9152-y |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.