Period of time： 2013年6期
Publisher： Oxford University Press
Founded in： 1993
Total resources： 4
ISSN： 1368-9894
Subject： I Literature
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Logic Journal of the IGPL,volume 20,issue 6
Menu
Meta-variables as infinite lists in nominal terms unification and rewriting
By Gabbay Murdoch J. in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.
Access to resources
Recommend
Two old representation theorems and Information Systems
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.Computer-assisted human-oriented inductive theorem proving by descente infinie a manifesto
By Wirth Claus-Peter in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.Generalized Kripke semantics for the LambekGrishin calculus
By Chernilovskaya Anna,Gehrke Mai,van Rooijen Lorijn in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.Normal and complete Boolean ambiguity algebras and MV-pairs 1
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.Hyperidentities of De Morgan algebras
By Movsisyan Yu. M.,Aslanyan V. A. in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.Decidability and complexity for -regular properties of stochastic systems
By Henriques D.,Biscaia M.,Baltazar P.,Mateus P. in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.A unification of the basic logics of Sambin and Visser
By Ardeshir Mohammad,Vaezian Vahid in (2012)
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.18th Workshop on Logic, Language, Information and Computation ( WoLLIC 2011 )
Logic Journal of the IGPL,volume 20,issue 6 , Vol. 20, Iss. 6, 2012-12 , pp.