Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10798
Title: | A proof procedure for temporal logic programming |
Institution and School/Department of submitter: | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής |
Keywords: | temporal logic programming,proof procedures,branching-time,theorem proving,transformation technique,time,language |
URI: | https://olympias.lib.uoi.gr/jspui/handle/123456789/10798 |
ISSN: | 0129-0541 |
Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
nomikos-2001-A P R O O F P R O C E D U RE F OR T E M P O R A L L O G IC.pdf | 1.57 MB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License