- Newton series, coinductively: a comparative study of composition Henning Basold Helle Hvid Hansen Jean-Éric Pin Jan Rutten Fri 02 March 2012
- Monoidal-closed categories of tree automata Colin Riba Fri 02 March 2012
- Modal dependent type theory and dependent right adjoints Lars Birkedal Ranald Clouston Bassel Mannaa Rasmus Ejlers Møgelberg Andrew M. Pitts Bas Spitters Fri 02 March 2012
- Forward analysis for WSTS, part I: completions Alain Finkel Jean Goubault-Larrecq Fri 02 March 2012
- From Kruskal's theorem to Friedman's gap condition Anton Freund Fri 02 March 2012
- A categorical generalization of Scott domains JIŘÍ ADÁMEK Fri 02 March 2012
- Premonoidal categories and notions of computation JOHN POWER EDMUND ROBINSON Fri 02 March 2012
- Combinatorial Nullstellensatz NOGA ALON Fri 02 March 2012
- Logic program specialisation through partial deduction: Control issues MICHAEL LEUSCHEL MAURICE BRUYNOOGHE Fri 02 March 2012
- Transformations of logic programs with goals as arguments ALBERTO PETTOROSSI MAURIZIO PROIETTI Fri 02 March 2012
- Equivalence-checking on infinite-state systems: Techniques and results ANTONÍN KUČERA PETR JANČAR Fri 02 March 2012
- Theory of finite or infinite trees revisited KHALIL DJELLOUL THI-BICH-HANH DAO THOM FRÜHWIRTH Fri 02 March 2012
- Products of weighted logic programs SHAY B. COHEN ROBERT J. SIMMONS NOAH A. SMITH Fri 02 March 2012
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty FABRIZIO RIGUZZI TERRANCE SWIFT Fri 02 March 2012
- SWI-Prolog JAN WIELEMAKER TOM SCHRIJVERS MARKUS TRISKA TORBJÖRN LAGER Fri 02 March 2012
- Generalization strategies for the verification of infinite state systems FABIO FIORAVANTI ALBERTO PETTOROSSI MAURIZIO PROIETTI VALERIO SENNI Fri 02 March 2012
- Proving correctness of imperative programs by linearizing constrained Horn clauses EMANUELE DE ANGELIS FABIO FIORAVANTI ALBERTO PETTOROSSI MAURIZIO PROIETTI Fri 02 March 2012
- Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description) Michael Frank Michael Codish Fri 02 March 2012
- Productive corecursion in logic programming EKATERINA KOMENDANTSKAYA YUE LI Fri 02 March 2012
- Solving Horn Clauses on Inductive Data Types Without Induction EMANUELE DE ANGELIS FABIO FIORAVANTI ALBERTO PETTOROSSI MAURIZIO PROIETTI Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
