The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase logical frameworks (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1997 (17) 1998-2001 (17) 2002-2003 (15) 2004-2006 (15) 2007-2008 (15) 2009-2010 (26) 2011-2013 (16) 2014-2015 (20) 2016-2019 (15)
Publication types (Num. hits)
article(21) book(1) incollection(1) inproceedings(122) phdthesis(3) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 90 occurrences of 52 keywords

Results
Found 156 publication records. Showing 156 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
55Till Mossakowski Equivalences among Various Logical Frameworks of Partial Algebras. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Brigitte Pientka Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Carsten Schürmann, Jatin Shah Representing reductions of NP-complete problems in logical frameworks: a case study. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear logic, NP-complete problems, logical frameworks
41Robin Adams 0001 A Modular Hierarchy of Logical Frameworks. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Jean-Paul Bodeveix, Mamoun Filali Type Synthesis in B and the Translation of B to PVS. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF semantics, type theory, PVS, logical frameworks, B
39Furio Honsell, Marino Miculan, Ivan Scagnetto An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF induction, logical frameworks, higher-order abstract syntax
38Robin Adams 0001 Coercive subtyping in lambda-free logical frameworks. Search on Bibsonomy LFMTP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Carsten Schürmann Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning A modal foundation for meta-variables. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal type theory, pattern unification, logical frameworks
33Frank Pfenning Subtyping and intersection types revisited. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Bernhard Heinemann A Hybrid Logic of Knowledge Supporting Topological Reasoning. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization
32Raymond McDowell, Dale Miller 0001 Reasoning with higher-order abstract syntax in a logical framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF induction, Definitions, logical frameworks, higher-order abstract syntax
32Iliano Cervesato, Frank Pfenning Linear Higher-Order Pre-Unification. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
31Carsten Schürmann Tutorial: Meta-logical Frameworks. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Mark Price Logical aspects of logical frameworks. Search on Bibsonomy 2008   RDF
28Frank Pfenning Logical and Meta-Logical Frameworks (Abstract). Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Carsten Schürmann The Twelf Proof Assistant. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Yalin Zheng, Changshui Zhang, Xin Yao 0003 Type-I Topological Logic C1I and Approximate Reasoning. Search on Bibsonomy FSKD (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Stephen Muggleton, Niels Pahlavi The Complexity of Translating BLPs to RMMs. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Kumar Avijit, Anupam Datta, Robert Harper 0001 Distributed programming with distributed authorization. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
23Zachary Snow, David Baelde, Gopalan Nadathur A meta-programming approach to realizing dependently typed logic programming. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
23Amy P. Felty, Alberto Momigliano Reasoning with hypothetical judgments and open terms in hybrid. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
23Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka Contextual modal type theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intuitionistic modal logic, Type theory, logical frameworks
23Carsten Schürmann, Jeffrey Sarnat Structural Logical Relations. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations
23Guillaume Burel A First-Order Representation of Pure Type Systems Using Superdeduction. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
23Daniel R. Licata, Noam Zeilberger, Robert Harper 0001 Focusing on Binding and Computation. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computation, binding, logical frameworks, polarity, sequent calculus
23Christian Urban, James Cheney, Stefan Berghofer Mechanizing the Metatheory of LF. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mechanized metatheory, logical frameworks, nominal logic
23Brigitte Pientka A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type system, logical frameworks
23Brigitte Pientka, Joshua Dunfield Programming with proofs and explicit contexts. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type theory, dependent types, logical frameworks
23Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
23Daniel K. Lee, Karl Crary, Robert Harper 0001 Towards a mechanized metatheory of standard ML. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
23Robert Harper 0001, Frank Pfenning On equivalence and canonical forms in the LF type theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type theory, Logical frameworks
23Brigitte Pientka Verifying Termination and Reduction Properties about Higher-Order Logic Programs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF termination, Logical frameworks
23Healfdene Goguen A syntactic approach to eta equality in type theory. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF beta-eta equality, decidability, type checking, logical frameworks
23Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
23Alberto Momigliano, Jeff Polakow A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
23Matthias Anlauff, Stefan Jähnichen, Martin Simons 0001 An experimental support system for formal mathematical reasoning. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF tool support, proofs, logical frameworks, formal reasoning
23Ricardo Caferra, Michel Herment GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Graphic Proof Presentation, Proof Edition, Logical Frameworks
23Peter Schroeder-Heister Hypothetical Reasoning and Definitional Reflection in Logic Programming. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
19Hong Hu 0001, Zhongzhi Shi Nonlinear Complex Neural Circuits Analysis and Design by q-Value Weighted Bounded Operator. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF neural dynamic analysis, neural circuit, fuzzy logical framework of a neural circuit, Fuzzy logic, chaos
19Thomas Ågotnes, Michal Walicki Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Dale Miller 0001, Ivan Scagnetto Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
19Valentina Pitoni, Stefania Costantini A Temporal Module for Logical Frameworks. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
19Iliano Cervesato, Kaustuv Chaudhuri Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Frédéric Blanqui, Giselle Reis (eds.) Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19François Thiré Sharing a Library between Proof Assistants: Reaching out to the HOL Family. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Ernesto Copello, Nora Szasz, Álvaro Tasistro Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou, Robert Harper 0001, Jonathan Sterling The RedPRL Proof Assistant (Invited Paper). Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Rodolphe Lepigre, Christophe Raffalli Abstract Representation of Binders in OCaml using the Bindlib Library. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Martín Copes, Nora Szasz, Álvaro Tasistro Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Gilles Dowek, Daniel R. Licata, Sandra Alves (eds.) Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi Implementing HOL in an Higher Order Logic Programming Language. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Raphaël Cauderlier A Rewrite System for Proof Constructivization. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Joachim Breitner The Incredible Proof Machine (Invited Talk). Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka Mechanizing Proofs about Mendler-style Recursion. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Chelsea Battell, Amy P. Felty The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Iliano Cervesato, Kaustuv Chaudhuri (eds.) Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Matthijs Vákár A Categorical Semantics for Linear Logical Frameworks. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
19Matthijs Vákár A Categorical Semantics for Linear Logical Frameworks. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Andrew Cave, Brigitte Pientka A Case Study on Logical Relations using Contextual Types. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Roly Perera, James Cheney Proof-relevant pi-calculus. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Nicolas Guenot, Daniel Gustafsson Sequent Calculus and Equational Programming. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Ronan Saillard Rewriting Modulo βin the λΠ-Calculus Modulo. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Amy P. Felty, Alberto Momigliano, Brigitte Pientka An Open Challenge Problem Repository for Systems Supporting Binders. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang Sophisticated Access Control via SMT and Logical Frameworks. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Amy P. Felty, Brigitte Pientka (eds.) Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Iliano Cervesato Proof-Theoretic Foundations of Indexing in Logic Programming. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Gopalan Nadathur A Framework for the Verified Transformation of Functional Programs. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann Hybrid Extensions in a Logical Framework. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Jesper Bengtson Session Types Meet Separation Logic. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Olivier Savary Bélanger, Kaustuv Chaudhuri Automatically Deriving Schematic Theorems for Dynamic Contexts. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Abhishek Anand, Vincent Rahli A Generic Approach to Proofs about Substitution. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Alberto Ciaffaglione, Ivan Scagnetto Internal Adequacy of Bookkeeping in Coq. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Thorsten Altenkirch, Nuo Li, Ondrej Rypacek Some constructions on ω-groupoids. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Edwin Brady Idris: Implementing a Dependently Typed Programming Language. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Alberto Momigliano, Brigitte Pientka, Randy Pollack (eds.) Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Petar Maksimovic Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques). Search on Bibsonomy 2013   RDF
19Ulrik Rasmussen, Andrzej Filinski Structural logical relations with case analysis and equality reasoning. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Andrew Cave, Brigitte Pientka First-class substitutions in contextual type theory. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Dale Miller 0001 Foundational proof certificates: making proof universal and permanent. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Furio Honsell 25 years of formal proof cultures: some problems, some philosophy, bright future. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Yuting Wang, Gopalan Nadathur Towards extracting explicit proofs from totality checking in twelf. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Floris van Doorn, Herman Geuvers, Freek Wiedijk Explicit convertibility proofs in pure type systems. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Herman Geuvers, Gopalan Nadathur (eds.) Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Ranald Clouston Nominal Logic with Equations Only Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Andreas Abel 0001, Nicolai Kraus A Lambda Term Representation Inspired by Linear Ordered Logic Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Murdoch James Gabbay, Dominic P. Mulligan Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Maxime Beauquier, Carsten Schürmann A Bigraph Relational Model Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Alan J. Martin, Amy P. Felty An Improved Implementation and Abstract Interface for Hybrid Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Mathieu Boespflug, Brigitte Pientka Multi-level Contextual Type Theory Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19William Lovas, Frank Pfenning Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Karl Crary, Marino Miculan (eds.) Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova Towards Logical Frameworks in the Heterogeneous Tool Set Hets. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Daniel R. Licata, Robert Harper 0001 A Monadic Formalization of ML5 Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Maribel Fernández, Murdoch James Gabbay Closed nominal rewriting and efficiently computable nominal algebra equality Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Anders Schack-Nielsen, Carsten Schürmann Pattern Unification for the Lambda Calculus with Linear and Affine Types Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk Pure Type Systems without Explicit Contexts Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19John Tang Boyland Generating Bijections between HOAS and the Natural Numbers Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 156 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license