Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme

DOI10.1002/malq.19660120111zbMath0149.00701OpenAlexW2167290475MaRDI QIDQ5527816

H. Apelt

Publication date: 1966

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19660120111

zbMATH Keywords

mathematical logic

Related Items (4)

The Härtig quantifier: a survey ⋮ On Presburger arithmetic extended with non-unary counting quantifiers ⋮ Quantifier elimination for counting extensions of Presburger arithmetic ⋮ Model-Checking Counting Temporal Logics on Flat Structures

This page was built for publication: Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme