1
0
0
(1 - 19 von 22
)
Patricia Johann, Normal Forms in Combinatory Logic - PhilPapers
philpapers.org
Let $R$ be a convergent term rewriting system, and let $CR$-equality on combinatory logic terms be the equality induced by $\beta \eta R$-equality on terms of...
Maarten de Rijke, Deduction systems, Rolf Socher-ambrosius and...
philpapers.org
Deduction systems, Rolf Socher-ambrosius and Patricia Johann. Maintained and operated by ... Patricia Johann (1994). Normal Forms in Combinatory Logic.
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in...
Semantics, Applications, and Implementation of Program Generation:...
books.google.de
... equivalence in terms of logical relations in Sections 4.1 and 4.2, we use it in Section 5 to prove the Substitution Theorem. r h Id : T •-> r r \- S 62 Patricia Johann.
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann,...
www.deepdyve.com
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language, and Information 8: , Book. Loading next page.
A Combinator-based order-sorted higher-order unification ...
kluedo.ub.uni-kl.de
A Combinator-based order-sorted higher-order unification algorithm. Patricia Johann. This paper develops a sound and complete transformation-based algorithm forunification in an extensional order-sorted combinatory logic supporting constantoverloading and a higher-order sort concept. Appropriate notions of order-sortedweak equality and ...
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann |...
link.springer.com
Journal of Logic, Language and Information. October , Volume 8, Issue 4, pp 476–478. Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann ...
Suchergebnis: De Rijke, Maarten
finden.nationallizenzen.de
2, de Rijke, Maarten, Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann in: Journal of logic, language and information , ISSN , Vol. 8 (4.
Rolf Socher Ambrosius and Patricia Johann Deduction Systems -...
www.tib.eu
Rolf Socher-Ambrosius and Patricia Johann, Deduction Systems. Author / Creator: De Rijke, M. In: JOURNAL OF LOGIC LANGUAGE AND INFORMATION; 8, 4; ...
CEUR-WS.org/Vol Technical Communications of ICLP 2015
ceur-ws.org
Technical Communications of ICLP Proceedings of the Technical Communications of the 31st International Conference on Logic Programming ... Patricia Johann,
LICS 2013
lics.siglog.org
LOGIC IN COMPUTER SCIENCE (LICS 2013) June 25–28, 2013, New Orleans, USA (with pre-conference tutorials on June 24) ... Patricia Johann, University of Strathclyde
au:Johann_P in:cs - SciRate Search
scirate.com
Automated analysis of recursive derivations in logic programming is known to be a hard problem. Both termination and non-termination are undecidable ...
Deduction Systems Rolf Socher Ambrosius and Patricia Johann -...
www.tib.eu
Title: Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Nationallizenz. Author / Creator: de Rijke, Maarten. In: Journal of Logic, Language and ...
: Logic-Based Program Synthesis and Transformation -...
www.cliplab.org
26th International Symposium on Logic-Based Program Synthesis and Transformation Conference Program
Selected Papers of the Conference ''Logic in Computer Science 2009'
lmcs.episciences.org
Nick Benton and Patricia Johann. Lazy Evaluation and Delimited Control. Ronald Garcia, Andrew Lumsdaine and Amr Sabry. Automatic Modular Abstractions ...
Structural Resolution for Logic Programming — Heriot-Watt...
researchportal.hw.ac.uk
Structural Resolution for Logic Programming. Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy. School of Mathematical & Computer ...
Oregon Programming Languages Summer School | University of Oregon
www.cs.uoregon.edu
Logical Relations — Patricia Johann. Reynolds' theory of parametricity for System F captures the invariance of polymorphically typed programs under change of ...
logical relation in nLab
nlab-pages.s3.us-east-2.amazonaws.com
Patricia Johann, Neil Ghani, Logical Relations for Program Verification, research proposal (pdf). Thierry Coquand, from slide 63 on in Equality ...
Alle Infos zum Namen "Patricia Johann"
Verwandte Suchanfragen zu Patricia Johann
Janis Voigtländer Walid Taha Paul Gastin |
Person "Johann" (10) Vorname "Patricia" (23804) Name "Johann" (2266) |
sortiert nach Relevanz / Datum