scientific article
zbMath0581.03006MaRDI QIDQ3703865
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regular setsiterative programsalgebraic theory of programsFC-algorithmspropositional logics admitting cut-free Gentzen type formalizationsecond order theory of one successorsets of finite models
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Algorithms in computer science (68W99)
Related Items (1)
This page was built for publication:
