Towards an infinitary logic of domains: Abramsky logic for transition systems

by

Bonsangue, M., M. and Kok, J., N.

Literature search on Evolutionary ComputationBBase ©1999-2013, Rasmus K. Ursem
     Home · Search · Adv. search · Authors · Login · Add entries   Webmaster
Note to authors: Please submit your bibliography and contact information - online papers are more frequently cited.

Info: Information and Computation (Journal), 1999, p. 170-201
Author(s) DL:Online papers for Kok, J., N.
Internet search:Search Google
Search Google Scholar
Search Citeseer using Google
Search Google for PDF
Search Google Scholar for PDF
Search Citeseer for PDF using Google

Review item:

Mark as doublet (will be reviewed)

Print entry




BibTex:
@ARTICLE{BonsangueKok,
  AUTHOR = {M.M. Bonsangue and J.N. Kok},
  TITLE = {Towards an infinitary logic of domains: Abramsky logic for transition systems},
  JOURNAL = {Information and Computation},
  NUMBER = 155,
  PAGES = {170-201},
  YEAR = {1999}
}