Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68465OpenAlexW4206255911MaRDI QIDQ5705952

Kumar Neeraj Verma, Helmut Seidl

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items

The Blossom of Finite Semantic Trees, Safely Composing Security Protocols, Deciding the Inductive Validity of ∀ ∃ * Queries, Safely composing security protocols