Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita:1999122
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences

Related search

On the Arithmetic and Geometry of Binary Hamiltonian Forms

Algebra and Number Theory
Number TheoryAlgebra
2013English

Arithmetic With Binary-Encoded Balanced Ternary Numbers

2013English

Arithmetic Progressions in Binary Quadratic Forms and Norm Forms

Bulletin of the London Mathematical Society
Mathematics
2019English

Faster Binary Arithmetic Operations on Encrypted Integers

2017English

Power and Delay Comparison of Binary and Quaternary Arithmetic Circuits

2009English

Verification of Arithmetic Circuits Using Binary Moment Diagrams

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2001English

Intermediate Phases in Binary Systems of Technetium-99 With Several Transition Elements

Journal of the Less Common Metals
1962English

A Practical Concurrent Binary Search Tree

ACM SIGPLAN Notices
Computer Science
2010English

Comparing Transition Systems With Independence and Asynchronous Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy