Power Domains and Second Order Predicates

Power Domains and Second Order Predicates (1993)

by Reinhold Heckmann

Venue:	THEORETICAL COMPUTER SCIENCE
Citations:	13 - 7 self

User correction supplied by mph

Datum	Value	Source
TITLE	Power Domains and Second Order Predicates	user correction - Legacy Corrections
AUTHOR NAME	Reinhold Heckmann	user correction
AUTHOR AFFIL	FB 14-- Informatik; Universitat des Saarlandes	user correction
AUTHOR ADDR	6600 Saarbrucken	user correction
ABSTRACT	Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains differ in the nature of the underlying semiring logic and in logical constraints on the second order predicates.	user correction
YEAR	1993	INFERENCE
VENUE	THEORETICAL COMPUTER SCIENCE	user correction
VENUE TYPE	JOURNAL	INFERENCE
VOLUME	111	INFERENCE
CITATIONS	17 found	ParsCit 1.0