![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd PADL 2001: Las Vegas, Nevada, USA
- I. V. Ramakrishnan:
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings. Lecture Notes in Computer Science 1990, Springer 2001, ISBN 3-540-41768-0 - C. R. Ramakrishnan:
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. 1-13 - Michael Leuschel:
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. 14-28 - Antony Courtney:
Frappé: Functional Reactive Programming in Java. 29-44 - Antonio Brogi
, Gianluca Caruso:
From Subject Directories to Subject Meta-directories via Declarative Programming. 45-59 - Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language. 60-75 - Michael Hanus
:
High-Level Server Side Web Scripting in Curry. 76-92 - Anima Gupta, Paul Tarau:
Logic Programming Techniques for Dynamic VRML Web Content Generation. 93-107 - Giampaolo Bella, Stefano Bistarelli
:
Soft Constraints for Security Protocol Analysis: Confidentiality. 108-122 - Steve Barker:
Secure Deductive Databases. 123-137 - Horatiu Cirstea:
Specifying Authentication Protocols Using Rewriting and Strategies. 138-152 - Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach. 153-168 - Monica L. Nogueira
, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle. 169-183 - Enrico Denti
, Andrea Omicini, Alessandro Ricci
:
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. 184-198 - Ricardo Lopes, Vítor Santos Costa
, Fernando M. A. Silva
:
A Novel Implementation of the Extended Andorra Model. 199-213 - Hendrik Decker:
Soundcheck for SQL. 214-228 - Pierre Flener, Brahim Hnich
, Zeynep Kiziltan:
Compiling High-Level Type Constructors in Constraint Programming. 229-244 - Supratik Mukhopadhyay, Andreas Podelski:
Constraint Database Models Characterizing Timed Bisimilarity. 245-258 - Alessandra Raffaetà, Thom W. Frühwirth:
Spatio-temporal Annotated Constraint Logic Programming. 259-273 - Pierre Flener, Brahim Hnich
, Zeynep Kiziltan:
A Meta-heuristic for Subset Problems. 274-287 - Enrico Pontelli, Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming. 288-303 - John Peterson, Paul Hudak, Alastair Reid
, Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking. 304-321 - Satyam Tyagi, Paul Tarau:
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. 322-336 - Owen Kaser:
State Generation in the PARMC Model Checker. 337-352
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.