| 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 |
