Title of article
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
Author/Authors
Marcello M. Bonsangue، نويسنده , , Joost N. Kok، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
32
From page
170
To page
201
Journal title
Information and Computation
Serial Year
1999
Journal title
Information and Computation
Record number
261872
Link To Document