Syntactical and semantical aspects of Faust

ISSN： 1432-7643

Source： Soft Computing, Vol.8, Iss.9, 2004-09, pp. : 623-632

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Semantical analysis of perpetual strategies in -calculus

By Honsell F. Lenisa M.

Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. : 183-209

Elsevier

Access to resources Recommend Favorite

A semantical framework for hybrid knowledge bases

By Bruijn Jos Pearce David Polleres Axel Valverde Agustín

Knowledge and Information Systems, Vol. 25, Iss. 1, 2010-10 ,pp. : 81-104

Springer Publishing Company

Access to resources Recommend Favorite

A semantical framework to engineering WSBPEL processes

By Rouached Mohsen

Information Systems and e-Business Management, Vol. 7, Iss. 2, 2009-03 ,pp. : 223-250

Springer Publishing Company

Access to resources Recommend Favorite

A syntactical proof of the Marriage Lemma

By Coquand T.

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 1107-1113

Elsevier

Access to resources Recommend Favorite

Syntactical Methods for Braids of Three Strands

By Burckel S.

Journal of Symbolic Computation, Vol. 31, Iss. 5, 2001-05 ,pp. : 557-564

Academic Press

Access to resources Recommend Favorite