Ohcanbohtosat - "diagram predicate framework"
Fáddáevttohusat
Fáddáevttohusat
- 3/2-institutions 1
- Hopfield neural network 1
- abstract model theory 1
- algebraic specification 1
- artificial neural network 1
- categorical model theory 1
- category theory 1
- concurrent game structure 1
- description logic 1
- diagram predicate framework 1
- first-order logic 1
- graph conditions 1
- graph constraints 1
- institution 1
- institution theory 1
- linear dynamic logic 1
- logic mining 1
- many-valued truth institutions 1
- model checking 1
- model theory 1
- sketch 1
- strategic abilities 1
- strategic logics 1
- stratified institutions 1
- supervised learning 1
- thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general 1
- thema EDItEUR::P Mathematics and Science 1
- ω-regular properties 1
- ℒ-institutions 1
-
Logic and Computation
Almmustuhtton 2023Fáttát: “…diagram predicate framework…”
Viečča ollesdeavstta
Online