P. A.

发表

Can Message Buffers Be Axiomatized Linear Temporal Logic ?

P. A., P. A., 2005 .

Chapter 1 Bounded and Ordered Satisfiability : Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing

suyoshi, Eriklis, P. A., 2003 .

Chapter 1 Bounded and Ordered Satisfiability : Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing

suyoshi, Eriklis, P. A., 2003 .