...
机译:排名和模拟:有充分根据的案例
Univ Perugia, Dip Matemat & Informat, Perugia, IT, Italy;
Univ Udine, Dip Matemat & Informat, I-33100 Udine, IT, Italy;
Univ Udine, Dip Matemat & Informat, I-33100 Udine, IT, Italy;
Simulation preorder; simulation quotient; directed acyclic graphs (DAGS); rank; simulation algorithms;
机译:用于正式基础的并发系统设计和仿真的集成环境
机译:用单子句将良好的和双重良好的结构的中间谓词逻辑分开
机译:某些类别良好的和双重良好的Kripke框架的超直觉谓词逻辑的非排位性
机译:高效逼近良好的理由和成立的统治
机译:使用词法充分的语法进行语义解析。
机译:对运动的批评有充分的根据吗?
机译:排名和模拟:有充分根据的案例