JAIST Repository >

Items for Author "Baaz, Matthias"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 2 items.

Date of IssueTitle Authors
2009 SAT in Monadic Gödel Logics: A Borderline between Decidability and UndecidabilityBaaz, Matthias; Ciabattoni, Agata; Preining, Norbert
21-Dec-2011 Chapter VII: Gödel-Dummett LogicBaaz, Matthias; Preining, Norbert

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology