Relational Reasoning about Functions and Nondeterminism

Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen , Søren Bøgh Lassen

Citations:

31 - 4 self

Datum	Value	Source
TITLE	Relational Reasoning about Functions and Nondeterminism	SVM HeaderParse 0.2
AUTHOR NAME	Søren Bøgh Lassen	SVM HeaderParse 0.2
AUTHOR AFFIL	Ph.D. Dissertation; Department of Computer Science; University of Aarhus	SVM HeaderParse 0.2
AUTHOR ADDR	Denmark	SVM HeaderParse 0.2
AUTHOR NAME	Søren Bøgh Lassen	SVM HeaderParse 0.2
AUTHOR AFFIL	Ph.D. Dissertation; Department of Computer Science; University of Aarhus	SVM HeaderParse 0.2
AUTHOR ADDR	Denmark	SVM HeaderParse 0.2
ABSTRACT	Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS	SVM HeaderParse 0.2
YEAR	1998	SVM HeaderParse 0.2
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Ph.D. thesis	INFERENCE
CITATIONS	32 found	ParsCit 1.0