Lecture Notes in Computer Science 2023 Digital Document:Systems and PrinciplesPeter King · Springer-Verlag · 2004

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming ||Milano, Michela · 2012

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9036 ||Focardi, Riccardo; Myers, Andrew · 2015

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10204 ||Maffei, Matteo; Ryan, Mark · 2017

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 7796 ||Basin, David; Mitchell, John C. · 2013

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 ||Nadathur, Gopalan · 1999

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9635 ||Piessens, Frank; Viganò, Luca · 2016

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursionMoggi, Eugenio; Rosolini, Giuseppe · 1997

Hierarchical constraint logic programmingMolly Wilson; Alan Borning · 1993

Constraint hierarchiesAlan Borning; Bjorn Freeman-Benson; Molly Wilson · 1992

Fourier Elimination for Compiling Constraint HierarchiesWarwick Harvey; Peter J. Stuckey; Alan Borning · 2002

A prototype electronic encyclopediaWeyer, Stephen A.; Borning, Alan H. · ACM Transactions on Information Systems · 1985

Computer system reliability and nuclear warBorning, Alan · Communications of the ACM · 1987

Constraint hierarchiesBorning, Alan; Duisberg, Robert; Freeman-Benson, Bjorn; Kramer, Axel; Woolf, Michael · ACM SIGPLAN Notices · 1987

Implementing constraint imperative programming languagesLopez, Gus; Freeman-Benson, Bjorn; Borning, Alan · ACM SIGPLAN Notices · 1994

Graphically Defining New Building Blocks in ThingLabBorning, Alan · Human-Computer Interaction · 1986