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 等数据库收录! |
|