KAT and PHL in Coq
Computer Science and Information Systems (2008)
- Issue: 10, page 137-160
- ISSN: 1820-0214
Access Full Article
top
How to cite
topDavid Pereira, and Nelma Moreira. "KAT and PHL in Coq." Computer Science and Information Systems (2008): 137-160. <http://eudml.org/doc/252699>.
@article{DavidPereira2008,
author = {David Pereira, Nelma Moreira},
journal = {Computer Science and Information Systems},
language = {eng},
number = {10},
pages = {137-160},
publisher = {ComSIS Consortium},
title = {KAT and PHL in Coq},
url = {http://eudml.org/doc/252699},
year = {2008},
}
TY - JOUR
AU - David Pereira
AU - Nelma Moreira
TI - KAT and PHL in Coq
JO - Computer Science and Information Systems
PY - 2008
PB - ComSIS Consortium
IS - 10
SP - 137
EP - 160
LA - eng
UR - http://eudml.org/doc/252699
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.