Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-74456-6_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On Multiplicative Linear Logic, Modality and Quantum Circuits

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2012English

Computation in Linear Algebraic Monoids

Journal of Applied & Computational Mathematics
2014English

Two-Variable Logic on Data Trees and XML Reasoning

2006English

A Summary of Gyrator and State-Variable Results for Linear Integrated Circuits

IEEE Transactions on Magnetics
Electronic EngineeringOpticalElectricalMagnetic MaterialsElectronic
1968English

Blocked Clauses in First-Order Logic

English

Designing Driving and Control Circuits of Four-Phase Variable Reluctance Stepper Motor Using Fuzzy Logic Control

Electrical Engineering
Electronic EngineeringApplied MathematicsElectrical
2017English

Logic Analysis and Verification of N-Input Genetic Logic Circuits

2017English

Complexity Results for First-Order Two-Variable Logic With Counting

SIAM Journal on Computing
MathematicsComputer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy