An effective theorem proving algorithm
Elmentve itt :
Szerzők: |
Ecsedi-Tóth Péter Varga A. |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
1977
|
Sorozat: | Acta cybernetica
3 No. 3 |
Kulcsszavak: | Számítástechnika, Kibernetika |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/12250 |
Hasonló tételek
-
Loop elimination, a sound optimisation technique for PTTP related theorem proving
Szerző: Zombori Zsolt, et al.
Megjelent: (2012) -
On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978) -
On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981) -
Comparing specification with proved properties of clean dynamics [abstract] /
Szerző: Lövei László, et al.
Megjelent: (2006) -
Proving quality of service constraints of multimedia systems [abstract] /
Szerző: Mészáros Mónika
Megjelent: (2006)