Search results for "meta-variables"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi	Calculi of Meta-variables.	CSL	2003	DBLP DOI BibTeX RDF
56	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi	Calculi of meta-variables.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	meta-variable, context, ?-calculus, logical framework
48	Murdoch Gabbay, Aad Mathijssen	One-and-a-halfth-order logic.	PPDP	2006	DBLP DOI BibTeX RDF	?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
37	Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning	A modal foundation for meta-variables.	MERLIN	2003	DBLP DOI BibTeX RDF	modal type theory, pattern unification, logical frameworks
30	Herman Geuvers, Gueorgui I. Jojgov	Open Proofs and Open Terms: A Basis for Interactive Logic.	CSL	2002	DBLP DOI BibTeX RDF	open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving
27	Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.	ICFP	2006	DBLP DOI BibTeX RDF	languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
23	Brigitte Pientka, Christoph Kreitz	Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.	AISC	1998	DBLP DOI BibTeX RDF
19	César Muñoz	A Left-Linear Variant of Lambda-Sigma.	ALP/HOA	1997	DBLP DOI BibTeX RDF
15	Vladimir V. Rybakov	Unifiers in transitive modal logics for formulas with coefficients (meta-variables).	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
15	Murdoch James Gabbay	Meta-variables as infinite lists in nominal terms unification and rewriting.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
15	Murdoch James Gabbay	Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	Krzysztof R. Apt, Rachel Ben-Eliyahu	Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax.	Fundam. Informaticae	1996	DBLP DOI BibTeX RDF
15	Yanjun Lou, Z. Meral Özsoyoglu	Meta Variables and Inheritance in an Object-Oriented Data Model.	DEXA	1991	DBLP BibTeX RDF
15	Gueorgui I. Jojgov	Holes with Binding Power.	TYPES	2002	DBLP DOI BibTeX RDF
15	Nikolaj S. Bjørner, César A. Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
15	Jane Hesketh, Alan Bundy, Alan Smaill	Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.	CADE	1992	DBLP DOI BibTeX RDF
12	Bernd Fischer 0002, Jon Whittle 0001	An Integration of Deductive Retrieval into Deductive Synthesis.	ASE	1999	DBLP DOI BibTeX RDF	deductive retrieval, software engineering, software reuse, program synthesis
10	Frank Pfenning	Towards a type theory of contexts.	MERLIN	2005	DBLP DOI BibTeX RDF
10	Jean Goubault-Larrecq	Conjunctive Types and SKInT.	TYPES	1998	DBLP DOI BibTeX RDF
7	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
7	David Robertson 0001	Multi-agent Coordination as Distributed Logic Programming.	ICLP	2004	DBLP DOI BibTeX RDF
7	René David, Bruno Guillaume	Strong Normalization of the Typed gammaws-Calculus.	CSL	2003	DBLP DOI BibTeX RDF
7	Louise A. Dennis, Alan Bundy	A Comparison of Two Proof Critics: Power vs. Robustness.	TPHOLs	2002	DBLP DOI BibTeX RDF
7	Alessandro Armando, Alan Smaill, Ian Green	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.	ASE	1997	DBLP DOI BibTeX RDF	proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm