Year: 1995
Type: conference-paper
Author: Vaughan Pratt
Institution: Stanford University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Awards: G7389489799, G8876996369
OpenAlex ID: W2106462831
