Linear Läuchli semantics

Linear Läuchli semantics (1996)

by R. F. Blute , P. J. Scott

Venue:	ANNALS PURE APPL. LOGIC
Citations:	17 - 7 self

User correction supplied by mph

Datum	Value	Source
TITLE	Linear Läuchli semantics	user correction
AUTHOR NAME	R. F. Blute	user correction
AUTHOR AFFIL	Dept. of Mathematics; University of Ottawa	user correction
AUTHOR ADDR	Ottawa, Ontario CANADA	user correction
AUTHOR NAME	P. J. Scott	user correction
AUTHOR AFFIL	Dept. of Mathematics; University of Ottawa	user correction
AUTHOR ADDR	Ottawa, Ontario CANADA	user correction
YEAR	1996	INFERENCE
VENUE	ANNALS PURE APPL. LOGIC	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	77--101	INFERENCE
CITATIONS	38 found	ParsCit 1.0