1174 search results - page 57 / 235 » A Logical Approach to Abstract Algebra |
ACS
2006
13 years 10 months ago
2006
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...
EURODAC
1994
IEEE
14 years 2 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
ASPDAC
2005
ACM
13 years 12 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
MFCS
1997
Springer
14 years 2 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...