scientific article; zbMATH DE number 1983273

zbMath1025.68519MaRDI QIDQ4427243

Zhisheng Huang, Mehdi Dastani, Leendert van der Torre, Jan M. Broersen

Publication date: 18 September 2003

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

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (2)

How to decide what to do? ⋮ A modal type theory for formalizing trusted communications

This page was built for publication: