An Equation-Based Classical Logic
From MaRDI portal
Publication:2947458
DOI10.1007/978-3-662-47709-0_4zbMath1465.03069MaRDI QIDQ2947458
Andreia Mordido, Carlos Caleiro
Publication date: 24 September 2015
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_4
94A60: Cryptography
03B70: Logic in computer science
03B25: Decidability of theories and sets of sentences
68Q42: Grammars and rewriting systems
Related Items
Cites Work