Languages of logic and their applications

DOI10.1016/j.camwa.2007.06.007zbMath1138.03321OpenAlexW2062554483MaRDI QIDQ2425445

K. Pásztor Varga, M. Várterész

Publication date: 5 May 2008

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2437/90886

zbMATH Keywords

semanticsfirst-order languagessyntax

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Languages of logic and their applications