Extensions to generalized disjunctive programming: hierarchical structures and first-order logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Extensions to generalized disjunctive programming: hierarchical structures and first-order logic ; day:20 ; month:12 ; year:2023 ; pages:1-40
Optimization and engineering ; (20.12.2023), 1-40
- Urheber
-
Perez, Hector D.
Grossmann, Ignacio E.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11081-023-09831-x
- URN
-
urn:nbn:de:101:1-2024030609171679072313
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:54 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Perez, Hector D.
- Grossmann, Ignacio E.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Gaifman normal forms for counting extensions of first-order logic
Extensions of logic programming : 5th international workshop ; proceedings
Non-monotonic extensions of logic programming : selected papers
Extensions of logic programming : second international workshop ; proceedings
Extensions of logic programming : 4th international workshop ; proceedings
Extensions of logic programming : third international workshop ; proceedings
First-order logic
First-order logic
First-order dynamic logic
Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power
Non-monotonic extensions of logic programming : second international workshop ; selected papers
A First-Order Logic with Frames
Gaifman normal forms for counting extensions of first-order logic
Extensions of logic programming : 5th international workshop ; proceedings
Non-monotonic extensions of logic programming : selected papers
Extensions of logic programming : second international workshop ; proceedings
Extensions of logic programming : 4th international workshop ; proceedings
Extensions of logic programming : third international workshop ; proceedings
First-order logic
First-order logic
First-order dynamic logic
Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power
Non-monotonic extensions of logic programming : second international workshop ; selected papers
A First-Order Logic with Frames
Gaifman normal forms for counting extensions of first-order logic
Extensions of logic programming : 5th international workshop ; proceedings
Non-monotonic extensions of logic programming : selected papers
Extensions of logic programming : second international workshop ; proceedings
Extensions of logic programming : 4th international workshop ; proceedings
Extensions of logic programming : third international workshop ; proceedings
First-order logic
First-order logic
First-order dynamic logic
Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power
Non-monotonic extensions of logic programming : second international workshop ; selected papers