Index of ftp://ftp.cs.sjtu.edu.cn:990/shen-es/applid logic

[DIR] Parent Directory

[TXT] Automata from Logics to Algorithms wal07.pdf  681.80Kb  September 6 2010
[TXT] Automata Logic & XML.pdf  494.08Kb  September 6 2010
[TXT] automata-theoretic MC revisited_invited VMCAI'07paper.pdf  167.27Kb  September 6 2010
[DIR] Bug Catching _Clarke 07  0.00b  September 6 2010
[TXT] From Philosophical to Industrial Logics 09.pdf.pdf  459.06Kb  September 6 2010
[TXT] igw-Automata&Logics.pdf  452.79Kb  September 6 2010
[TXT] Lectures on the Hyperreals An Introduction to Nonstandard Analysis.pdf  17.58Mb  September 6 2010
[TXT] LFCS-20060227.pdf  558.06Kb  October 14 2006
[RAR] logical foundations of CS_shen enshao_old version with appendix.rar  1.06Mb  October 14 2006
[ ] The Syllabus of AL.docx  26.01Kb  September 6 2010
[TXT] TL & MC ILCS06_tutorial.pdf  175.79Kb  September 6 2010