|
|||||
|
|
Coalgebraic theories of sequences in PVS |
|
| Authors: | Hensel U; Jacobs B |
| Affiliation: | A1 Institut für Theoretische Informatik, TU Dresden, D-01062 Dresden, Germany E-mail: hensel@tcs.inf.tu-dresden.de A Department of Computer Science, University of Nijmegen, PO Box 9010, 6500 GL Nijmegen, The Netherlands E-mail: bart@cs.kun.nl |
| Abstract: | |
| Keywords: | Datatype coinduction theorem proving |
| 本文献已被 Oxford 等数据库收录！ | |