> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Solving Partial Order Constraints for LPO Termination Beteiligte: Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. Erschienen: IOS Press, 2008 Erschienen in: Journal on Satisfiability, Boolean Modeling and Computation Sprache: Nicht zu entscheiden DOI: 10.3233/sat190056 ISSN: 1574-0617 Schlagwörter: Materials Chemistry Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang