swMATH2266MaRDI QIDQ14809FDOQ14809
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0096055101000200
Cited In (9)
- Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate
- Distributed Abductive Reasoning with Constraints
- Sampled-data control and stability of sets for nonlinear systems
- PPL: A whole-image processing language
- Qu-Prolog
- An ISS small gain theorem for general networks
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
- Title not available (Why is that?)
This page was built for software: LAILA