A coinduction rule for entailment of recursively defined properties

10.1007/978-3-540-85958-1_33

Saved in:

Bibliographic Details
Main Authors:	Jaffar, J., Santosa, A.E., Voicu, R.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41110
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41110
record_format	dspace
spelling	sg-nus-scholar.10635-411102024-11-14T00:24:19Z A coinduction rule for entailment of recursively defined properties Jaffar, J. Santosa, A.E. Voicu, R. COMPUTER SCIENCE 10.1007/978-3-540-85958-1_33 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5202 LNCS 493-508 2013-07-04T08:19:51Z 2013-07-04T08:19:51Z 2008 Conference Paper Jaffar, J.,Santosa, A.E.,Voicu, R. (2008). A coinduction rule for entailment of recursively defined properties. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5202 LNCS : 493-508. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-540-85958-1_33" target="_blank">https://doi.org/10.1007/978-3-540-85958-1_33</a> 3540859578 03029743 http://scholarbank.nus.edu.sg/handle/10635/41110 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1007/978-3-540-85958-1_33
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Jaffar, J. Santosa, A.E. Voicu, R.
format	Conference or Workshop Item
author	Jaffar, J. Santosa, A.E. Voicu, R.
spellingShingle	Jaffar, J. Santosa, A.E. Voicu, R. A coinduction rule for entailment of recursively defined properties
author_sort	Jaffar, J.
title	A coinduction rule for entailment of recursively defined properties
title_short	A coinduction rule for entailment of recursively defined properties
title_full	A coinduction rule for entailment of recursively defined properties
title_fullStr	A coinduction rule for entailment of recursively defined properties
title_full_unstemmed	A coinduction rule for entailment of recursively defined properties
title_sort	coinduction rule for entailment of recursively defined properties
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41110
_version_	1821225118919032832

A coinduction rule for entailment of recursively defined properties

Similar Items