Author： Mandrali Eleni Rahonis George
Publisher： Springer Publishing Company
ISSN： 0001-5903
Source： Acta Informatica, Vol.51, Iss.2, 2014-03, pp. : 61-106
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Some first-order probability logics
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
Access to resources
Recommend
Integrating Multiple Learning Strategies in First Order Logics
By Giordana A. Neri F. Saitta L. Botta M.
Machine Learning, Vol. 27, Iss. 3, 1997-06 ,pp. :
A note on first-order projections and games
Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. :
A behavioural theory of first-order CML
Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. :
MSO logics for weighted timed automata
By Quaas Karin
Formal Methods in System Design, Vol. 38, Iss. 3, 2011-06 ,pp. :