Controlling a population
From MaRDI portal
Publication:5227518
Formal languages and automata (68Q45) Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Multi-agent systems (93A16)
Recommendations
Cites work
- scientific article; zbMATH DE number 2186305 (Why is no real title available?)
- scientific article; zbMATH DE number 3719108 (Why is no real title available?)
- scientific article; zbMATH DE number 5219795 (Why is no real title available?)
- Algebras and combinators
- Hilbert's Twenty-Fourth Problem
- Lambda terms for natural deduction, sequent calculus and cut elimination
- The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
Cited in
(5)
This page was built for publication: Controlling a population
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227518)