We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Ī 0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
It is estimated that ninety percent of the worldās species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
Yixin Chen, Henry L. Bart Jr., Shuqing Huang, Huim...
We present decidability results for the veriļ¬cation of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...