Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Doina Precup, Paul E. Utgoff	Classification Using Phi-Machines and Constructive Function Approximation.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	linear machine, non-linear discrimination, classification, support vector machine, decision tree, machine, constructive induction
12	Gregory L. McColm	Guarded Quantification in Least Fixed Point Logic.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	game representations of logics, game theoretic semantics, guarded quantification, least fixed point logic, positive elementary induction
12	Solange Coupet-Grimal, Line Jakubiec	Certifying circuits in Type Theory.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Co-induction, Formal methods, Type theory, Dependent types, Extraction, Hardware verification
12	Christos Kloukinas	Data-Mining Synthesised Schedulers for Hard Real-Time Systems.	ASE	2004	DBLP DOI BibTeX RDF	scheduler synthesis, data-mining, Software engineering, schedulability analysis, hard real-time systems, decision-tree induction
12	Paul Robertson 0001, Robert Laddaga	Using Contexts to Manage System Complexity.	ICECCS	2004	DBLP DOI BibTeX RDF	Context Induction, Corpus Methods, Self Aadaptive Software, Complexity, Learning, Architecture
12	Guizhen Yang, I. V. Ramakrishnan, Michael Kifer	On the complexity of schema inference from web pages in the presence of nullable data attributes.	CIKM	2003	DBLP DOI BibTeX RDF	data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference
12	Valter Crescenzi, Paolo Merialdo, Paolo Missier	Fine-grain web site structure discovery.	WIDM	2003	DBLP DOI BibTeX RDF	clustering, information extraction, web information systems, wrapper induction, web modeling
12	Sholom M. Weiss, Stephen J. Buckley, Shubir Kapoor, Søren Damgaard	Knowledge-based data mining.	KDD	2003	DBLP DOI BibTeX RDF	decision rule induction, sales leads, expert systems
12	Zhao Cheng, Wendi Beth Heinzelman	Flooding strategy for target discovery in wireless networks.	MSWiM	2003	DBLP DOI BibTeX RDF	expansion ring, mathematical induction, caching
12	Oronzo Altamura, Floriana Esposito, Donato Malerba	Transforming paper documents into XML format with WISDOM++.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Induction of decision trees, Transformation into HTML/XML format, Document image analysis, Layout analysis
12	Ingrid Zukerman, David W. Albrecht	Predictive Statistical Models for User Modeling.	User Model. User Adapt. Interact.	2001	DBLP DOI BibTeX RDF	content-based learning, TFIDF-based models, Neural networks, classifications, Bayesian networks, collaborative learning, Markov models, rule induction, linear models
12	Jaeyoung Yang, Heekyoung Seo, Joongmin Choi	MORPHEUS: a more scalable comparison-shopping agent.	Agents	2001	DBLP DOI BibTeX RDF	agent, information extraction, inductive learning, wrapper induction
12	Joseph Phillips, Bruce G. Buchanan	Ontology-guided knowledge discovery in databases.	K-CAP	2001	DBLP DOI BibTeX RDF	knowledge discovery in databases, ontology, constructive induction
12	Kuei-Ping Shih, Jang-Ping Sheu, Chih-Yung Chang	Efficient Address Generation for Affine Subscripts in Data-Parallel Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	affine subscripts, multiple induction variables (MIVs), data distribution, distributed-memory multicomputers, single program multiple data (SPMD), data-parallel languages, address generation
12	Alex Alves Freitas	Understanding the Crucial Differences Between Classification and Discovery of Association Rules - A Position Paper.	SIGKDD Explor.	2000	DBLP DOI BibTeX RDF	classification, prediction, association rules, induction
12	Mathias Bauer, Dietmar Dengler, Gabriele Paul	Instructible information agents for Web mining.	IUI	2000	DBLP DOI BibTeX RDF	programming by demonstration, information agents, wrapper induction
12	Jianchao Han, Nick Cercone	RuleViz: a model for visualizing knowledge discovery process.	KDD	2000	DBLP DOI BibTeX RDF	knowledge discovery, rule induction, data and knowledge visualization, interactive exploration
12	Mike Gardner, Jack Bieker	Data mining solves tough semiconductor manufacturing problems.	KDD	2000	DBLP DOI BibTeX RDF	manufacturing optimization, semiconductor yield enhancement, data mining, neural networks, machine learning, pattern recognition, self organizing maps, rule induction
12	Borisas Bursteinas, James Allen Long	Transforming supervised classifiers for feature extraction.	ICTAI	2000	DBLP DOI BibTeX RDF	supervised classifiers, supervised linear feature extraction algorithm, class labels, extracted feature quality evaluation, multivariate decision trees, classifier induction, feature subset evaluation, wrapper model method, algorithm performance evaluation, data mining, learning (artificial intelligence), feature extraction, feature selection, decision trees, pattern classification, software performance evaluation, computation time, very large databases, computational efficiency, data classification, large databases
12	Maria Francesca Costabile, Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi	An Adaptive Visual Environment for Digital Libraries.	Int. J. Digit. Libr.	1999	DBLP DOI BibTeX RDF	Topic visualization, Adaptive interface, Decision tree induction, Visual environment, User classification
12	Mathias Bauer, Dietmar Dengler	InfoBeams - Configuration of Personalized Information Assistants.	IUI	1999	DBLP DOI BibTeX RDF	information assistants, information integration, programming by demonstration, wrapper induction
12	Jerzy W. Grzymala-Busse, Linda K. Goodwin, Xiaohui Zhang	Preterm Birth Risk Assessed by a New Method of Classifikation Using Selective Partial Matching.	ISMIS	1999	DBLP DOI BibTeX RDF	Preterm birth, classification of examples, system LERS, data mining, machine learning, rough set theory, knowledge discovery in databases, rule induction
12	Bernd Steinbach, Marek A. Perkowski, Christian Lang 0001	Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications.	ISMVL	1999	DBLP DOI BibTeX RDF	Bi-Decomposition, Data Mining, Multiple-Valued Logic, Functional Decomposition, Constructive Induction
12	E. K. Park, Suk-Chung Yoon	An Approach to Intensional Query Answering at Multiple Abstraction Levels using Data Mining Approaches.	HICSS	1999	DBLP DOI BibTeX RDF	Extensional Answer, Intensional Answer, Data Mining, Attribute-Oriented Induction
12	Colin L. Carter, Howard J. Hamilton	Efficient Attribute-Oriented Generalization for Knowledge Discovery from Large Databases.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Knowledge discovery from databases, data mining, attribute-oriented induction
12	Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich	Strength Reduction via SSAPRE.	CC	1998	DBLP DOI BibTeX RDF	linear function test replacement, program transformation, program analysis, data flow analysis, program optimization, Code motion, partial redundancy elimination, static single assignment, strength reduction, dead code elimination, induction variables
12	Jeremy Gibbons, Geraint Jones	The Under-Appreciated Unfold.	ICFP	1998	DBLP DOI BibTeX RDF	anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation
12	Floriana Esposito, Donato Malerba, Giovanni Semeraro	A Comparative Analysis of Methods for Pruning Decision Trees.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	top-down induction of decision trees, simplification of decision trees, pruning and grafting operators, optimal pruning, Decision trees, comparative studies
12	Suk-Chung Yoon, Il-Yeol Song, E. K. Park	Intensional Query Processing Using Data Mining Approaches.	CIKM	1997	DBLP DOI BibTeX RDF	intensional answer, data mining, attribute-oriented induction
12	Jerzy W. Grzymala-Busse, L. John Old	A Machine Learning Experiment to Determine Part of Speech from Word-Endings.	ISMIS	1997	DBLP DOI BibTeX RDF	Roget's Thesaurus, classification of examples, system LERS, rough set theory, rule induction, Learning and knowledge discovery
12	Raul H. C. Lopes, Mark Tarver	Inducing Theorem Provers from Proofs.	ICTAI	1997	DBLP DOI BibTeX RDF	theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving
12	Wei-Min Shen, Bing Leng	A Metapattern-Based Automated Discovery Loop for Integrated Data Mining - Unsupervised Learning of Relational Patterns.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	relational concepts, metaquery, metapattern, integration, unsupervised learning, Induction, human interaction, deduction
12	Francesco Bergadano, Daniele Gunetti	Testing by Means of Inductive Program Learning.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	program induction by examples
12	B. Bodenstorfer	Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds.	Computing	1996	DBLP DOI BibTeX RDF	Subset-relation, minimal upper bound, generalized induction, nonmonotonic logic
12	Madalene Spezialetti, Rajiv Gupta 0001	Loop Monotonic Statements.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables
12	Norman Y. Foo	Ontology Revison.	ICCS	1995	DBLP DOI BibTeX RDF	theoretical term, predicate invention, theory change, type hierarchy, ontology, induction, action, concept formation
12	Bruce A. Draper, Carla E. Brodley, Paul E. Utgoff	Goal-Directed Classification Using Linear Machine Decision Trees.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	goal-directed classification, linear machine decision trees, feature-based classification, nonparametric classification, linear machine decision tree, multivariate decision tree induction, misclassification cost functions, image understanding systems, pattern recognition, computer vision, trees (mathematics), inference mechanisms, decision theory, learning systems, pixel classification, inference algorithms
12	Xindong Wu 0001	Inductive learning: Algorithms and frontiers.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	generalization-specialization, extension matrices, decision trees, induction
12	Jiawei Han 0001, Yandong Cai, Nick Cercone	Data-Driven Discovery of Quantitative Rules in Relational Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	data driven recovery, quantitative rules, quantitative rule, quantitative information, data relevance, characteristic rules, quantitative reasoning, knowledge rules, learning (artificial intelligence), relational databases, relational databases, knowledge based systems, incremental learning, concept hierarchies, classification rules, attribute-oriented induction
12	Mayank Thakore, Daniel C. St. Clair	Effect of the x2 Test on Construction of ID3 Decision Trees.	SAC	1993	DBLP DOI BibTeX RDF	decision-tree classifier systems, machine learning, intelligent systems, induction
12	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
12	Jason Catlett	On Changing Continuous Attributes into Ordered Discrete Attributes.	EWSL	1991	DBLP DOI BibTeX RDF	Discretisation, empirical concept learning, induction of decision trees
12	Emmanuel Kounalis	Pumping Lemmas for Tree Languages Generated by Rewrite Systems.	MFCS	1990	DBLP DOI BibTeX RDF	Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages
12	Chris S. Wallace	Classification by Minimum-Message-Length Inference.	ICCI	1990	DBLP DOI BibTeX RDF	Classification, Unsupervised learning, Coding, Induction, Statistical inference, Minimum message length
12	Emmanuel Kounalis, Michaël Rusinowitch	On Word Problems in Horn Theories.	CADE	1988	DBLP DOI BibTeX RDF	initial model, inductionless induction, resolution, term-rewriting system, Horn clause, word problems
12	Bill Pase, Sentot Kromodimoeljo	m-NEVER System Summary.	CADE	1988	DBLP DOI BibTeX RDF	Automatic induction, forward rules, program verification, decision procedures, interactive theorem proving, rewrite rules
12	Pierre Lescanne	Computer Experiments with the Reve Term Rewriting System Generator.	POPL	1983	DBLP DOI BibTeX RDF	program verifier, termination, abstract data types, induction, term rewriting systems, theorem prover, equational theories, word problem
12	Robert S. Boyer, J Strother Moore, Robert E. Shostak	Primitive Recursive Program Transformations.	POPL	1976	DBLP DOI BibTeX RDF	Theorem proving, Program verification, LISP, LISP, Flowcharts, Structural induction
12	David Martens, Bart Baesens, Tony Van Gestel	Decompositional Rule Extraction from Support Vector Machines by Active Learning.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
12	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
12	Simon Bernard 0001, Laurent Heutte, Sébastien Adam	Influence of Hyperparameters on Random Forest Accuracy.	MCS	2009	DBLP DOI BibTeX RDF	Decision Trees, Supervised Learning, Ensemble Method, Random Forests
12	Taimur Qureshi, Djamel A. Zighed	Using Resampling Techniques for Better Quality Discretization.	MLDM	2009	DBLP DOI BibTeX RDF	Bootstrap, discretization, resampling
12	Panagiotis Manolios, Aaron Turon	All-Termination(T).	TACAS	2009	DBLP DOI BibTeX RDF
12	Noraliza Hamzah, Hanim Ismail, Zuhaina Zakaria	The Application of Support Vector Machine in Classifying the Causes of Voltage Sag in Power System.	RSKT	2009	DBLP DOI BibTeX RDF	voltage sag, support vector machine, radial basis function, polynomial, Power quality
12	Denise Fukumi Tsunoda, Heitor S. Lopes, Alex Alves Freitas	A Hybrid Evolutionary Approach for the Protein Classification Problem.	ICCCI	2009	DBLP DOI BibTeX RDF	Protein classification problem, genetic algorithm, genetic programming, evolutionary computation, Bioinformatics
12	John C. Duchi, Yoram Singer	Boosting with structural sparsity.	ICML	2009	DBLP DOI BibTeX RDF
12	Antoine Cornuéjols, Michèle Sebag	A note on phase transitions and computational pitfalls of learning from sequences.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Supervised learning, Grammatical inference, Sequence learning
12	Celine Vens, Jan Struyf, Leander Schietgat, Saso Dzeroski, Hendrik Blockeel	Decision trees for hierarchical multi-label classification.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Precision-recall analysis, Decision trees, Hierarchical classification, Multi-label classification, Functional genomics
12	Will Bridewell, Pat Langley, Ljupco Todorovski, Saso Dzeroski	Inductive process modeling.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Scientific discovery, Ecosystem modeling, Process models, System identification, Compositional modeling
12	Marcin Wolski	Category-Based Inductive Reasoning: Rough Set Theoretic Approach.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF
12	Marcin Michalak 0001, Marek Sikora	Decision Rule Based Data Models Using NetTRS System Overview.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF
12	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
12	Shusaku Tsumoto, Shoji Hirano	Fuzziness from attribute generalization in information table.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
12	Gillat Kol, Moni Naor	Cryptography and Game Theory: Designing Protocols for Exchanging Information.	TCC	2008	DBLP DOI BibTeX RDF
12	Richard Nock, Frank Nielsen	Intrinsic Geometries in Learning.	ETVC	2008	DBLP DOI BibTeX RDF
12	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich	Engineering formal metatheory.	POPL	2008	DBLP DOI BibTeX RDF	locally nameless, binding, coq
12	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
12	Helena de Medeiros Caseli, Maria das Graças Volpe Nunes, Mikel L. Forcada	On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation.	SBIA	2008	DBLP DOI BibTeX RDF	bilingual resources, Machine translation, parallel corpora, automatic learning
12	Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores	A gentle introduction to mutual recursion.	ITiCSE	2008	DBLP DOI BibTeX RDF	recursion problems, combinatorics, counting problems, fibonacci numbers, mutual recursion
12	Bin Chen, Guangri Quan	NP-Hard Problems of Learning from Examples.	FSKD (2)	2008	DBLP DOI BibTeX RDF
12	Nathan Huntley, Matthias C. M. Troffaes	An Efficient Normal Form Solution to Decision Trees with Lower Previsions.	SMPS	2008	DBLP DOI BibTeX RDF
12	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A Coinduction Rule for Entailment of Recursively Defined Properties.	CP	2008	DBLP DOI BibTeX RDF
12	Jan A. Bergstra, Cornelis A. Middelburg	Synchronous cooperation for explicit multi-threading.	Acta Informatica	2007	DBLP DOI BibTeX RDF
12	Yulia Korukhova	An approach to automatic deductive synthesis of functional programs.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 68T20
12	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Model redundancy, Constraint satisfaction
12	Mila Kwiatkowska, M. Stella Atkins, Najib T. Ayas, C. Frank Ryan	Knowledge-Based Data Analysis: First Step Toward the Creation of Clinical Prediction Rules Using a New Typicality Measure.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
12	Sebastian Blohm, Philipp Cimiano	Using the Web to Reduce Data Sparseness in Pattern-Based Information Extraction.	PKDD	2007	DBLP DOI BibTeX RDF
12	Aleksander Kolcz, Wen-tau Yih	Site-Independent Template-Block Detection.	PKDD	2007	DBLP DOI BibTeX RDF
12	Xiangliang Zhang 0001, Michèle Sebag, Cécile Germain	Toward Behavioral Modeling of a Grid System: Mining the Logging and Bookkeeping Files.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
12	Jose Joaquin Aguilera, Manuel Chica, María José del Jesus, Francisco Herrera	Niching Genetic Feature Selection Algorithms Applied to the Design of Fuzzy Rule-based Classification Systems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Isabelle Gnaedig, Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
12	Indranil Saha, Janardan Misra, Suman Roy 0001	Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.	ATVA	2007	DBLP DOI BibTeX RDF
12	Yasuki Kakishita, Kazutoshi Sasahara, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya	Pattern Extraction Improves Automata-Based Syntax Analysis in Songbirds.	ACAL	2007	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Attribute Generalization and Fuzziness in Data Mining Contexts.	RSFDGrC	2007	DBLP DOI BibTeX RDF
12	Nittaya Kerdprasop, Kittisak Kerdprasop	Semantic Knowledge Integration to Support Inductive Query Optimization.	DaWaK	2007	DBLP DOI BibTeX RDF
12	Guohai Liu, Fuliang Wang, Yue Shen, Huawei Zhou, Hongping Jia, Mei Kang	Realization of Neural Network Inverse System with PLC in Variable Frequency Speed-Regulating System.	ISNN (1)	2007	DBLP DOI BibTeX RDF
12	Andrzej Filinski, Kristian Støvring	Inductive reasoning about effectful data types.	ICFP	2007	DBLP DOI BibTeX RDF	abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
12	Christian Urban, Stefan Berghofer, Michael Norrish	Barendregt's Variable Convention in Rule Inductions.	CADE	2007	DBLP DOI BibTeX RDF
12	Markus Aderhold	Improvements in Formula Generalization.	CADE	2007	DBLP DOI BibTeX RDF
12	Tosiyasu L. Kunii	Autonomic and Trusted Computing for Ubiquitous Intelligence.	UIC	2007	DBLP DOI BibTeX RDF
12	Ryszard S. Michalski, Janusz Wojtusiak	Generalizing Data in Natural Language.	RSEISP	2007	DBLP DOI BibTeX RDF
12	Alexandros Agapitos, Simon M. Lucas	Evolving a Statistics Class Using Object Oriented Evolutionary Programming.	EuroGP	2007	DBLP DOI BibTeX RDF
12	Xingquan Zhu 0001, Xindong Wu 0001, Qijun Chen	Bridging Local and Global Data Cleansing: Identifying Class Noise in Large, Distributed Data Datasets.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	class noise, machine learning, data cleansing
12	Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton	Application of abductive ILP to learning metabolic network inhibition from temporal data.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Abductive ILP, Modelling metabolic networks, Bioinformatics
12	Marc Boullé	MODL: A Bayes optimal discretization method for continuous attributes.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Data mining, Machine learning, Data analysis, Discretization, Bayesianism
12	S. Basu, A. Bhatia	A naive genetic approach for non-stationary constrained problems.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Non-stationary problems, 0/1 Knapsack problem, Pure-integer programming problem, Genetic algorithm, Constrained optimization
12	Tobias Gedell, Reiner Hähnle	Automating Verification of Loops by Parallelization.	LPAR	2006	DBLP DOI BibTeX RDF
12	Fredrik Törner, Per Johannessen, Peter Öhman	Assessment of Hazard Identification Methods for the Automotive Domain.	SAFECOMP	2006	DBLP DOI BibTeX RDF
12	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
12	Tobias Gedell, Reiner Hähnle	Verification by Parallelization of Parametric Code.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF