AL（Algorithm & Logic）セミナー

2007/11/29	第118回 AL セミナー : Completion and finite embeddability property for residuated ordered algebras
2007/09/14	第117回 AL セミナー : Polynomial-size Frege proofs of Bollob\'as' theorem on the trace of sets
2007/01/10	第116回 AL セミナー : Duality theory in the study of semigroups and automata
2006/10/10	第115回 AL セミナー : A coalgebraic perspective on automata theory
2006/03/16	第114回 AL セミナー : Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta
2006/02/28	第113回 AL セミナー : Atomicity and formal semantics
2006/02/10	第112回 AL セミナー : Some Problems of Early Indian Logic
2006/01/20	第111回 AL セミナー : Belnap's 4-valued logic and logic programs verification
2005/12/12	第110回 AL セミナー : Acts of Commanding and Changing Obligations
2005/09/06	第109回 AL セミナー : A path order POP and its applications
2005/05/31	第108回 AL セミナー : Temporal Logic over transitive states
2005/02/28	第107回 AL セミナー : Continuous Fraissé Conjecture
2004/10/21	第106回 AL セミナー : Many-dimensional logical systems, Spatio-temporal logics: expressiveness vs. complexity
2004/10/14	第105回 AL セミナー : Introduction to algebraic logic