The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Binders with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-2001 (17) 2002-2005 (32) 2006-2007 (28) 2008 (17) 2009-2010 (18) 2011-2013 (18) 2014-2017 (17) 2018-2020 (18) 2021-2023 (17) 2024 (2)
Publication types (Num. hits)
article(63) inproceedings(112) phdthesis(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 110 occurrences of 69 keywords

Results
Found 184 publication records. Showing 184 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami A Bounded-Optimistic, Parallel Beta-Binders Simulator. Search on Bibsonomy DS-RT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
82Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher Developing An Hierarchical Simulator for Beta-binders. Search on Bibsonomy PADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
82Andrew M. Pitts A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
75John Power, Miki Tanaka Binding Signatures for Generic Contexts. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Paola Quaglia On Beta-Binders Communications. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Frédéric Prost Taming Non-compositionality Using New Binders. Search on Bibsonomy UC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Federica Ciocchetta, Corrado Priami, Paola Quaglia Modeling Kohn Interaction Maps with Beta-Binders: An Example. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
60Liwen You, Ping Zhang 0008, Mikael Bodén, Vladimir Brusic Understanding Prediction Systems for HLA-Binding Peptides and T-Cell Epitope Identification. Search on Bibsonomy PRIB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Christophe Calvès, Maribel Fernández Nominal Matching and Alpha-Equivalence. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-equivalence, nominal terms, matching, Binders
52Federica Ciocchetta, Corrado Priami, Paola Quaglia An Automatic Translation of SBML into Beta-Binders. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML)
52Corrado Priami, Paola Quaglia Beta Binders for Biological Interactions. Search on Bibsonomy CMSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay FreshML: programming with binders made simple. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF alpha-conversion, metaprogramming, variable binding
52Dale Miller 0001 Abstract Syntax for Variable Binders: An Overview. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Andrew M. Pitts Nominal system T. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF alpha-equivalence, types, recursion, binders
40Andrew M. Pitts, Mark R. Shinwell Generative unbinding of names. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF alpha-conversion, meta-programming, abstract syntax, binders
40Marino Miculan, Ivan Scagnetto, Furio Honsell Translating specifications from nominal logic to CIC with the theory of contexts. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF calculus of inductive constructions, languages with binders, logical expressivity, theory of contexts, nominal logics
37Matthew R. Lakin, Andrew M. Pitts Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel Modeling Static Biological Compartments with Beta-binders. Search on Bibsonomy AB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Tadeusz Litak Algebraization of Hybrid Logic with Binders. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Corrado Priami, Paola Quaglia Operational Patterns in Beta-Binders. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Michael Norrish Recursive Function Definition for Types with Binders. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Miki Tanaka Abstract Syntax and Variable Binding for Linear Binders. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Niall J. Haslam, Toby J. Gibson EpiC: A Resource for Integrating Information and Analyses to Enable Selection of Epitopes for Antibody Based Experiments. Search on Bibsonomy DILS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. Search on Bibsonomy FMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Brigitte 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
30Miki Tanaka, John Power Pseudo-distributive laws and axiomatics for variable binding. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
30Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Yeon-Jin Cho, Hyeoncheol Kim, Heung-Bum Oh Prediction Rule Generation of MHC Class I Binding Peptides Using ANN and GA. Search on Bibsonomy ICNC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Geoffrey Washburn, Stephanie Weirich Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
30Carlos Areces, Juan Heguiabehere HyLoRes 1.0: Direct Resolution for Hybrid Logics. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Didier Rémy, Boris Yakobowski From ML to MLF: graphic type constraints with efficient type inference. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
25Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
25Didier Rémy, Boris Yakobowski A graphical presentation of MLF types with a linear-time unification algorithm. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF system SF, graphs, types, unification, binders, MLF
25Andrew M. Pitts Alpha-structural recursion and induction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, induction, names, Abstract syntax, binders
25Maribel Fernández, Murdoch Gabbay Nominal rewriting with name generation: abstraction vs. locality. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders
25Murdoch Gabbay A new calculus of contexts. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders
25Maribel Fernández, Murdoch Gabbay, Ian Mackie Nominal rewriting systems. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ?-conversion, first and higher-order rewriting, binders
22Juan Manuel Parrilla Gutierrez, Jaroslaw M. Granda, Jean-François Ayme, Michal D. Bajczyk, Liam Wilbraham, Leroy Cronin Electron density-based GPT for optimization and suggestion of host-guest binders. Search on Bibsonomy Nat. Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Gokay Avci, Kim E. Jelfs Enhancing discovery of host-guest binders. Search on Bibsonomy Nat. Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha Correction to: Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Francini Fonseca Lopez, Jiayuan Miao, Jovan Damjanovic, Luca Bischof, Michael B. Braun, Yingjie Ling, Marcus D. Hartmann, Yu-Shan Lin, Joshua A. Kritzer Computational Prediction of Cyclic Peptide Structural Ensembles and Application to the Design of Keap1 Binders. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Renne Leini, Tatu Pantsar In Silico Evaluation of the Thr58-Associated Conserved Water with KRAS Switch-II Pocket Binders. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Benedikt Ahrens, Ralph Matthes, Kobe Wullaert Formalizing Monoidal Categories and Actions for Syntax with Binders. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Ralph Matthes, Kobe Wullaert, Benedikt Ahrens Substitution for Non-Wellfounded Syntax with Binders. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Ya-Lin Chen Combining Sequence Similarity with Physicochemical Properties to Predict Binders for MHC-II Molecules. Search on Bibsonomy MIE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Chang Su, Xuan Gao Recent Advances in Battery Binders with an Insight of Predictive Commercial Development. Search on Bibsonomy CECNet The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Elisabeth Kallert, Tim R. Fischer, Simon Schneider, Maike Grimm, Mark Helm, Christian Kersten Protein-Based Virtual Screening Tools Applied for RNA-Ligand Docking Identify New Binders of the preQ1-Riboswitch. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Yanjun Li 0005, Daohong Zhou, Guangrong Zheng, Xiaolin Li 0001, Dapeng Wu 0001, Yaxia Yuan DyScore: A Boosting Scoring Method with Dynamic Properties for Identifying True Binders and Nonbinders in Structure-Based Drug Discovery. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Julia Neumair, Martin Elsner, Michael Seidel Flow-Based Chemiluminescence Microarrays as Screening Platform for Affinity Binders to Capture and Elute Bacteria. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Margherita Longoni, Beatrice Genova, Alessia Marzanni, Daniela Melfi, Carlotta Beccaria, Silvia Bruni FT-NIR Spectroscopy for the Non-Invasive Study of Binders and Multi-Layered Structures in Ancient Paintings: Artworks of the Lombard Renaissance as Case Studies. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Anthony Savidis, Marios Ntoulas Improved Untyped IntelliSense for JavaScript with Type Carriers and Binders. Search on Bibsonomy IISA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Anthony Savidis, Marios Ntoulas Improved Untyped IntelliSense for JavaScript with Type Carriers and Binders. Search on Bibsonomy IISA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Dong-Gun Kim, Yoonjoo Choi, Hak-Sung Kim Epitopes of Protein Binders Are Related to the Structural Flexibility of a Target Protein Surface. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Laila K. Elghoneimy, Muhammad I. Ismail, Frank M. Boeckler, Hassan M. E. Azzazy, Tamer M. Ibrahim Facilitating SARS CoV-2 RNA-Dependent RNA polymerase (RdRp) drug discovery by the aid of HCV NS5B palm subdomain binders: In silico approaches and benchmarking. Search on Bibsonomy Comput. Biol. Medicine The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Rolf Hennicker, Alexander Knapp, Alexandre Madeira Observational interpretations of hybrid dynamic logic with binders and silent transitions. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski Binders by day, labels by night: effect instances via lexically scoped handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Xiaohong Chen 0002, Grigore Rosu A general approach to define binders using matching logic. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Jianyu Li, Aurélien F. A. Moumbock, Stefan Günther Exploring Cocrystallized Aromatic Cage Binders to Target Histone Methylation Reader Proteins. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Marta Cialdea Mayer A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Yannick Forster 0002, Kathrin Stark Coq à la carte: a practical approach to modular syntax with binders. Search on Bibsonomy CPP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Kathrin Stark Mechanising syntax with binders in Coq. Search on Bibsonomy 2020   RDF
22Yi Xiao Learning nominal regular languages with binders. Search on Bibsonomy 2020   RDF
22Daniel Schmitter On operations with binders and operations with equations. Search on Bibsonomy 2020   RDF
22Emily Ford Experimental Investigations and Machine Learning-Based Predictive Modeling of the Chemo-mechanical Characteristics of Ultra-High Performance Binders. Search on Bibsonomy 2020   RDF
22Yusuke Aoki Electrophoretic Co-Deposition of Alumina-Resin Composites on Metal Substrate Using Polydimethylsiloxane-Based Organic-Inorganic Hybrid Materials as Binders. Search on Bibsonomy IEICE Trans. Electron. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Ai Niitsu, Suyong Re, Hiraku Oshima, Motoshi Kamiya, Yuji Sugita De Novo Prediction of Binders and Nonbinders for T4 Lysozyme by gREST Simulations. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Yi Xiao, Emilio Tuosto On Learning Nominal Automata with Binders. Search on Bibsonomy ICE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. Search on Bibsonomy DaLí The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Amy P. Felty, Alberto Momigliano, Brigitte Pientka Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Chimno I. Nnadi, Meredith L. Jenkins, Daniel R. Gentile, Leslie A. Bateman, Daniel Zaidman, Trent E. Balius, Daniel K. Nomura, John E. Burke, Kevan M. Shokat, Nir London Novel K-Ras G12C Switch-II Covalent Binders Destabilize Ras and Accelerate Nucleotide Exchange. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Ernesto 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
22Rodolphe 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
22Kazutaka Matsuda, Meng Wang 0002 Embedding invertible languages with binders: a case of the FliPpr language. Search on Bibsonomy Haskell@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla Quantification in frame semantics with binders and nominals of hybrid logic. Search on Bibsonomy J. Lang. Model. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Igor I. Baskin, Vitaly P. Solov'ev, Alexander A. Bagatur'yants, Alexandre Varnek Predictive cartography of metal binders using generative topographic mapping. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Melanie L. Aprahamian, Svetlana B. Tikunova, Morgan V. Price, Andres F. Cuesta, Jonathan P. Davis, Steffen Lindert Successful Identification of Cardiac Troponin Calcium Sensitizers Using a Combination of Virtual Screening and ROC Analysis of Known Troponin C Binders. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Alejandro Serrano 0001, Jurriaan Hage Constraint Handling Rules with Binders, Patterns and Generic Quantification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
22Alejandro Serrano 0001, Jurriaan Hage Constraint handling rules with binders, patterns and generic quantification. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Rolf Hennicker, Alexandre Madeira Institutions for Behavioural Dynamic Logic with Binders. Search on Bibsonomy ICTAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Francisco Ferreira 0001, Brigitte Pientka Programs Using Syntax with First-Class Binders. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22K. C. Sivakumar, T. P. Sajeevan, I. S. Bright Singh Marine derived compounds as binders of the White spot syndrome virus VP28 envelope protein: In silico insights from molecular dynamics and binding free energy calculations. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Rolf Hennicker, Alexandre Madeira Observational Semantics for Dynamic Logic with Binders. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins 0001 Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Amy 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
22Marta Cialdea Mayer Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Li Xing, Brajesh Rai, Elizabeth A. Lunney Scaffold mining of kinase hinge binders in crystal structure database. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Bharath Srinivasan, Hongyi Zhou, Julia Kubanek, Jeffrey Skolnick Experimental validation of FINDSITEcomb virtual ligand screening results for eight proteins yields novel nanomolar and micromolar binders. Search on Bibsonomy J. Cheminformatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Salwa M. Soliman, Gerhard Wolber Using structure- and Ligand-based pharmacophores as filters to discriminate Human Aryl Sulfotransferase 1A1 (SUL1A1) binders into substrates and inhibitors. Search on Bibsonomy J. Cheminformatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Marta Cialdea Mayer Extended Decision Procedure for a Fragment of HL with Binders. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Martin Clochard, Claude Marché, Andrei Paskevich Verified programs with binders. Search on Bibsonomy PLPV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Ali Nazari, F. Pacheco Torgal Modeling the compressive strength of geopolymeric binders by gene expression programming-GEP. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Marta Cialdea Mayer A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version). Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
22Serenella Cerrito, Marta Cialdea Mayer A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Matthew R. Lakin, Andrew M. Pitts Contextual equivalence for inductive definitions with binders in higher order typed functional programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Marta Cialdea Mayer A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Jean-Philippe Bernardy, Nicolas Pouillard Names for free: polymorphic views of names and binders. Search on Bibsonomy Haskell The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Lars Hellström Quantifiers and n-ary binders: an OpenMath standard enhancement proposal. Search on Bibsonomy CICM Workshops The full citation details ... 2013 DBLP  BibTeX  RDF
22 Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Nicolas Pouillard, François Pottier A unified treatment of syntax with binders. Search on Bibsonomy J. Funct. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 184 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license