search result

Cover von The EfProb Library for Probabilistic Calculations

The EfProb Library for Probabilistic Calculations

Year: 2017
Media group: LIPIcs
Cover von Coinductive Predicates and Final Sequences in a Fibration
article : pp. 197-214
Search for this author
Year: 2013
Publisher: Amsterdam, Elsevier
Media group: ARTICLE
OPEN V 11.1.0.0