Amanote Research
Register
Sign In
Logic, Algebra and Static Analysis in DM Systems, the IE Way
doi 10.7551/mitpress/4316.003.0077
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Dialectical Logic and Boolean Algebra
Journal of Mathematics Research
Kleene's Three-Valued Logic and Process Algebra
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Static Induction Transistor Logic
Logic Meets Algebra: The Case of Regular Languages
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
The McS-Ie System for Explaining Inconsistency in Multi-Context Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Timing Analysis for Hard Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hypergraph Construction and Its Application to the Static Analysis of Concurrent Systems
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A History and Introduction to the Algebra of Conditional Events and Probability Logic
IEEE Transactions on Systems, Man, and Cybernetics
Step on the Way to the Analysis of Complex Social Systems
Comparative Politics (Russia)
