Prototyping 3APL in the Maude Term Rewriting Language, Revised Selected and Invited Papers

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationComputational Logic in Multi-Agent Systems, 7th International Workshop
EditorsK. Inoue, K. Satoh, F. Toni
Place of PublicationBerlin
PublisherSpringer
Pages95-114
Number of pages20
Publication statusPublished - 2006
EventCLIMA VII, Hakodate, Japan, May 2006 -
Duration: 1 Jan 2006 → …

Publication series

NameLNAI
Number4371

Conference

ConferenceCLIMA VII, Hakodate, Japan, May 2006
Period1/01/06 → …

Cite this