scientific article; zbMATH DE number 2085286

zbMath1053.68032MaRDI QIDQ4736522

Naoyuki Tamura, Kyoung-Sun Kang, Takaharu Hirai, Mutsunori Banbara

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2237/22370315.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Coordination: Reo, Nets, and Logic

This page was built for publication: