( en | de | ru )

 

Disambiguation of "Togashi, Atsushi"

Author of the publication

copydeleteadd this publication to your clipboard
A Program Transformation from Equational Programs into Logic Programs.

, and . FGCS, page 185-194. OHMSHA Ltd. Tokyo and North-Holland, (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Atsushi Imai

Atsushi Imai

Atsushi Yagi

Atsushi Fukui

Atsushi Kambayashi

 

Other publications of authors with the same name

An ontology-based advice system for health and exercise., , , , , and . IMSA, page 95-100. IASTED/ACTA Press, (2006)Modeling, Verification and Testing of Web Applications Using Model Checker., , , and . IEICE Trans. Inf. Syst., 94-D (5): 989-999 (2011)A Methodology for the Description of System Requirements and the Derivation of Formal Specifications., , and . FORTE, volume 107 of IFIP Conference Proceedings, page 383-398. Chapman & Hall, (1997)Integrated Support Environment for Concurrent Process Calculi., , and . PODC, page 395. ACM, (1994)Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes)., , and . KBCS, volume 444 of Lecture Notes in Computer Science, page 276-285. Springer, (1989)Managing evolution of software engineering development environments., , and . SMC, page 724-728. IEEE, (2001)An Intelligent LOTOS interpreter in AMLOG., , and . ICLP Workshop: Applications of Logic Programming to Software Engineering, (1994)Extension of protocol synthesis to structured entities., , and . ICNP, page 66-73. IEEE Computer Society, (1995)System Requirements and Formal Specifications of Hierarchical Reactive Systems., , and . ICPADS, page 91-98. IEEE Computer Society, (2000)A Derivation of System Specifications Based on a Partial Logical Petri Net., , , and . ISCAS, page 521-524. IEEE, (1995)