Extensions to generalized disjunctive programming: hierarchical structures and first-order logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Perez, Hector D.
Grossmann, Ignacio E.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11081-023-09831-x
- URN
-
urn:nbn:de:101:1-2024030609171679072313
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Perez, Hector D.
- Grossmann, Ignacio E.
- SpringerLink (Online service)
Other Objects (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