Advances in Contemporary Logic and Computer Science

DOI10.1090/CONM/235MaRDI QIDQ4255356zbMATH OpenOpenAlexFDO

Authors

Publication date 11 August 1999

Published in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/conm/235

zbMATH Keywords

ConferenceComputer scienceMathematical logicProceedingsContemporary logicSalvador (Brazil)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Conferences
• scientific article; zbMATH DE number 3679726
• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976
• The proceedings of the XVII EBL -- 17th Brazilian logic conference, 2014: a preface
• Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC'2003), Ouro Preto, Minas Gerais, Brazil, July 29 -- August 1, 2003
• Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19--22, 2005.
• Special issue: Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19--22, 2005
• scientific article; zbMATH DE number 51905
• scientific article; zbMATH DE number 2213888
• scientific article; zbMATH DE number 7599993

Cited in

(3)

• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976
• Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
• scientific article; zbMATH DE number 5226306 (Why is no real title available?)

This page was built for publication: Advances in Contemporary Logic and Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255356)