Publication:4413066
From MaRDI portal
zbMath1037.68029MaRDI QIDQ4413066
Pierre Deransart, Jan-Georg Smaus
Publication date: 17 July 2003
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html
68N17: Logic programming
Related Items
Typed context awareness ambient calculus for pervasive applications, \( \pi\) with leftovers: a mechanisation in Agda