Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B.A. Trakhtenbrot
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
On the Completeness of Compositional Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simple Completeness Proofs for Some Spatial Logics of the Real Line
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Foucalt's Concept of the Relationships Between Power and Knowledge
Bastina
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems
The Power of Distributed Verifiers in Interactive Proofs
Relationships Between Duality of Scientists and Social Structure of Knowledge on Nuclear Power Problem
TRENDS IN THE SCIENCES
The Relationships Between Explosive Power for Arms and Legs and Some Biokinematic Variables for Team Handball Players
Al-Rafidain Journal For Sport Sciences
