Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christoph Behle
Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Two-Variable Logic With Counting and a Linear Order
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On Multiplicative Linear Logic, Modality and Quantum Circuits
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Computation in Linear Algebraic Monoids
Journal of Applied & Computational Mathematics
Two-Variable Logic on Data Trees and XML Reasoning
A Summary of Gyrator and State-Variable Results for Linear Integrated Circuits
IEEE Transactions on Magnetics
Electronic Engineering
Optical
Electrical
Magnetic Materials
Electronic
Blocked Clauses in First-Order Logic
Designing Driving and Control Circuits of Four-Phase Variable Reluctance Stepper Motor Using Fuzzy Logic Control
Electrical Engineering
Electronic Engineering
Applied Mathematics
Electrical
Logic Analysis and Verification of N-Input Genetic Logic Circuits
Complexity Results for First-Order Two-Variable Logic With Counting
SIAM Journal on Computing
Mathematics
Computer Science
