Matching power

DOI10.1007/3-540-45127-7_8MaRDI QIDQ2778872zbMATH OpenFDO

Authors Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Publication date 21 March 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2051/20510077

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Theory of Power Matching
• scientific article; zbMATH DE number 795216
• On power margins
• Power equivalence of presentations
• scientific article; zbMATH DE number 3920382
• scientific article; zbMATH DE number 6863588
• Powerposets
• Perfect power testing
• Comparing power indices

Cited in

(16)

• On power margins
• ELAN from a rewriting logic point of view
• Rewriting logic: Roadmap and bibliography
• Type soundness for path polymorphism
• Combining higher-order and first-order computation using -calculus: Towards a semantics of ELAN
• Rewriting calculus with(out) types
• A framework for defining logical frameworks
• Term collections in {\(\lambda\)} and {\(\rho\)}-calculi
• From functional programs to interaction nets via the rewriting calculus
• Distributive -calculus
• scientific article; zbMATH DE number 6395449 (Why is no real title available?)
• Theory of Power Matching
• Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data
• Expressing combinatory reduction systems derivations in the rewriting calculus
• A \(\rho\)-calculus of explicit constraint application
• Lambda calculus with patterns

Describes a project that uses

Uses Software

• ELAN

This page was built for publication: Matching power

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2778872)