Prototyping 3APL in the Maude Term Rewriting Language

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06)
Publication status	Published - 2006

riemsdijk06clima To appear in LNAI.
Nascholing docenten - verschillende cursusonderdelen

Cite this

@inproceedings{376e5bccef1a40d4908088a81af0d330,

title = "Prototyping 3APL in the Maude Term Rewriting Language",

author = "\{van Riemsdijk\}, M.B. and \{de Boer\}, F.S. and M.M. Dastani and J-J.Ch. Meyer",

note = "riemsdijk06clima To appear in LNAI. Nascholing docenten - verschillende cursusonderdelen",

year = "2006",

language = "Undefined/Unknown",

booktitle = "Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06)",

}

TY - GEN

T1 - Prototyping 3APL in the Maude Term Rewriting Language

AU - van Riemsdijk, M.B.

AU - de Boer, F.S.

AU - Dastani, M.M.

AU - Meyer, J-J.Ch.

N1 - riemsdijk06clima To appear in LNAI. Nascholing docenten - verschillende cursusonderdelen

PY - 2006

Y1 - 2006

M3 - Conference contribution

BT - Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06)

ER -