Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: προσθήκη σήμανσης επαληθευσιμότητας |
Προσθήκη 1 βιβλίου για Επαληθευσιμότητα) #IABot (v2.0.7) (GreenC bot |
||
Γραμμή 137:
== Αναφορές ==
* {{cite journal | author=Michael Huth and Mark Ryan | title=Logic in Computer Science (Second Edition) | url=https://archive.org/details/logiccomputersci00huth_960 | year=2004| page=[https://archive.org/details/logiccomputersci00huth_960/page/n222 207] | publisher=Cambridge University Press | id=ISBN 0-521-54310-X}}
* {{cite journal | author=Emerson, E. A. and Halpern, J. Y. | title=Decision procedures and expressiveness in the temporal logic of branching time | journal=Journal of Computer and System Sciences| year=1985| volume=30 | issue=1 | pages=1–24 | doi=10.1016/0022-0000(85)90001-7}}
* {{cite journal | author=Clarke, E. M., Emerson, E. A., and Sistla, A. P. | title=Automatic verification of finite-state concurrent systems using temporal logic specifications | journal=ACM Transactions on Programming Languages and Systems| year=1986| volume=8 | issue=2 | pages=244–263 | doi=10.1145/5397.5399}}
| |||