scientific article; zbMATH DE number 5822570

MaRDI QIDQ3060302zbMATH OpenFDO

Authors

Publication date 2 December 2010

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 5822571
• scientific article; zbMATH DE number 1220015
• Special volume in honor of Aviezri Fraenkel on the occasion of his 70th birthday
• Kamil' Basirovich Sabitov (A tribute in honor of his sixtieth birthday)
• Ivan Vasil'evich Gaishun (a tribute in honor of his sixtieth birthday)
• The Natália Bebiano anniversary volume. Special issue on the occasion of her 60th birthday
• NAUM IL'ICH AKHIEZER (on his sixtieth birthday)
• On the 60th Birthday of V. A. Vatutin
• A. V. Gulin (A tribute on the occasion of his 60th birthday)

Cited in

(4)

• On the complexity of stream equality
• scientific article; zbMATH DE number 5822571 (Why is no real title available?)
• On Skolemization in constructive theories
• Parallel interpolation, splitting, and relevance in belief change

This page was built for publication:

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