KAT and PHL in Coq

David Pereira; Nelma Moreira

Computer Science and Information Systems (2008)

  • Issue: 10, page 137-160
  • ISSN: 1820-0214

How to cite


David Pereira, and Nelma Moreira. "KAT and PHL in Coq." Computer Science and Information Systems (2008): 137-160. <http://eudml.org/doc/252699>.

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},

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 ?


You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.