Login / Signup
Stationary logic of ordinals.
Alan H. Mekler
Published in:
Ann. Pure Appl. Log. (1984)
Keyphrases
</>
non stationary
logic programming
multi valued
website
dynamic logic
modal logic
neural network
automated reasoning
sound and complete axiomatization
database
propositional dynamic logic
asynchronous circuits
truth values
digital circuits
decision trees
databases
real time