Search for Author All Reviews
	Zhang, Guo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Automata, Boolean matrices, and ultimate periodicity Zhang G. Information and Computation 152(1): 138-154, 1999.  Type: Article In the matrix approach to automata theory, Boolean matrices are associated with a finite automaton, namely the adjacency matrices of the state graph, each corresponding to a specific letter of the underlying alphabet A... Nov 1 1999     Defaults in domain theory Zhang G., Rounds W. Theoretical Computer Science 177(1): 155-182, 1997.  Type: Article Default reasoning, especially of the type proposed by Reiter [1], is expressed by an antimonotonic operator on the partially ordered set of theories of some formalized language. Since the theories in a language form one example of a Sc...... Apr 1 1998     Parallel product of event structures Castellani I., Zhang G. Theoretical Computer Science 179(1-2): 203-215, 1997.  Type: Article Event structures were introduced by Nielsen, Plotkin, and Winskel as a model for concurrent computational structures [1]. They were later generalized to stable event structures, which allow elegant categorical definitions for construct...... Mar 1 1998     Logic of domains Zhang G., Birkhäuser Boston Inc., Cambridge, MA, 1991.  Type: Book (9780817635701) The logical aspects of semantic domains used in the formal definition of programming languages are investigated. This book provides a complete overview of domain theory and generates logical frameworks to link denotational semantics ...... Mar 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy