Search results for "termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Frédéric Mesnard, Salvatore Ruggieri	On proving left termination of constraint logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Automatic termination analysis, left termination, termination inference, constraint logic programming
5	Frédéric Mesnard, Salvatore Ruggieri	On proving left termination of constraint logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Automatic termination analysis, left termination, termination inference, constraint logic programming
5	E. L. Lohse	Data communications control procedures for the USA standard code for information interchange.	Commun. ACM	1969	DBLP DOI BibTeX RDF	communication control procedures, communication error control procedures, communication establishment/termination procedures, communication message transfer procedures, communication polling/selection procedures, data communication control procedures, data communication error control procedures, data communication establishment/termination procedures, data communication message transfer procedures, data communication polling/selection procedures, data link control procedures, data link error control procedures, data link establishment, data link establishment/termination procedures, data link message transfer procedures, data link polling, data link polling/selection procedures, link control procedures, link error control procedures, link establishment/termination procedures, link message transfer procedures, link polling/selection procedures, selection procedures, termination procedures, communication, link, data communication, data link
4	Hugh Anderson, Siau-Cheng Khoo	Regular approximation and bounded domains for size-change termination.	PEPM	2010	DBLP DOI BibTeX RDF	affine size-change termination, termination analysis
4	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
4	Amir M. Ben-Amram	Size-change termination with difference constraints.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
4	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
4	Hans Zantema	Termination of String Rewriting Proved Automatically.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	semantic labelling, relative termination, match-bounds, termination, string rewriting
4	Wojciech Moczydlowski, Alfons Geser	Termination of Single-Threaded One-Rule Semi-Thue Systems.	RTA	2005	DBLP DOI BibTeX RDF	uniform termination, one-rule, single-rule, single-threaded, well-behaved, termination, string rewriting, semi-Thue system
4	Alfons Geser	Termination of String Rewriting Rules That Have One Pair of Overlaps.	RTA	2003	DBLP DOI BibTeX RDF	one-rule, single-rule, uniform termination, termination, overlap, string rewriting, semi-Thue system
4	Algis Rudys, Dan S. Wallach	Termination in language-based systems.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	soft termination, Java, Internet, termination, Applets, resource control
4	Hans Zantema, Alfons Geser	A Complete Characterization of Termination of 0p 1q-> 1r 0s.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Simple termination, Transformation ordering, Dummy elimination, Derivation length, Termination, Term rewriting, String rewriting
4	Laura K. Dillon	Task Dependence and Termination in Ada.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	distributed termination, master/dependent relation, task termination, tasking execution model, Ada, Ada tasking
4	Hans Zantema, Alfons Geser	A Complete Characterization of Termination of Op 1q -> 1r Os.	RTA	1995	DBLP DOI BibTeX RDF	simple termination, transformation ordering, dummy elimination, derivation length, termination, term rewriting, string rewriting
4	Junya Kudoh, Toshiro Takahashi, Yukio Umada, Masaharu Kimura, Shigeru Yamamoto, Youichi Ito	A CMOS gate array with dynamic-termination GTL I/O circuits. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	CMOS gate array, dynamic-termination GTL I/O circuits, triple-metal-layer process technology, push-pull output driver, dynamic termination receiver, 250 Mb/s data, stub line, terminated bus line, IDDQ testability, differential receiver, delay time overheads, 0.5 micron, 250 Mbit/s, logic testing, delays, CMOS logic circuits, logic arrays
4	Antti Ylä-Jääski, Nahum Kiryati	Adaptive Termination of Voting in the Probabilistic Circular Hough Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	adaptive termination, probabilistic circular Hough transform, small random poll, computational savings, risk of errors, peaks, voting termination, adaptive stopping, probability, edge detection, objects detection, Hough transforms, noisy image, decisions, parameter space, edge points
3	Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest	A3PAT, an approach for certified automated termination proofs.	PEPM	2010	DBLP DOI BibTeX RDF	termination, term rewriting, automated reasoning, formal proof
3	Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl	Termination Graphs for Java Bytecode.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
3	Isabelle Gnaedig, Hélène Kirchner	Termination of rewriting under strategies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	innermost, local strategy, outermost, Abstraction, termination, induction, narrowing, ordering constraint
3	Dean Voets, Danny De Schreye	A New Approach to Non-termination Analysis of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	non-termination analysis, program analysis
3	Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp	Tyrolean Termination Tool 2.	RTA	2009	DBLP DOI BibTeX RDF	automation, termination, term rewriting
3	Jean-Yves Moyen	Resource control graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	non-size increasing computation, size change termination, program analysis, Implicit computational complexity, program termination
3	Jörg Endrullis, Johannes Waldmann, Hans Zantema	Matrix Interpretations for Proving Termination of Term Rewriting.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Matrix interpretations, Satisfiability, Termination, Term rewriting
3	Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain	Proving operational termination of membership equational programs.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic
3	Andreas Blass, Yuri Gurevich	Program termination and well partial orderings.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	covering observation, game criterion, well partial orderings, Program termination
3	Paolo Pilozzi, Danny De Schreye	Termination Analysis of CHR Revisited.	ICLP	2008	DBLP DOI BibTeX RDF	Termination Analysis, Constraint Handling Rules
3	Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu	Proving non-termination.	POPL	2008	DBLP DOI BibTeX RDF	non-termination, recurrent sets, model checking, testing, program verification
3	James Brotherston, Richard Bornat, Cristiano Calcagno	Cyclic proofs of program termination in separation logic.	POPL	2008	DBLP DOI BibTeX RDF	cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
3	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof	Termination analysis of logic programs through combination of type-based norms.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
3	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
3	Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri	A family of optimal termination detection algorithms.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Monitoring distributed system, Arbitrary communication topology, Diffusing and non-diffusing computations, Simultaneous and delayed initiations, Single-hop and multi-hop application messages, Optimal algorithm, Termination detection
3	Mike Livesey, Ronald Morrison, David S. Munro	The Doomsday distributed termination detection protocol.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Distributed termination detection, Protocols, Correctness
3	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Proving thread termination.	PLDI	2007	DBLP DOI BibTeX RDF	model checking, concurrency, formal verification, program verification, threads, termination
3	Felix C. Freiling, Matthias Majuntke, Neeraj Mittal	On Detecting Termination in the Crash-Recovery Model.	Euro-Par	2007	DBLP DOI BibTeX RDF	crash-recovery failure model, eventual safety, stabilizing algorithm, asynchronous distributed system, termination detection
3	Germán Vidal	Quasi-terminating logic programs for ensuring the termination of partial evaluation.	PEPM	2007	DBLP DOI BibTeX RDF	quasi-termination, partial deduction
3	Damien Sereni	Termination analysis and call graph construction for higher-order functional programs.	ICFP	2007	DBLP DOI BibTeX RDF	semantics, program analysis, functional programs, termination
3	Martin C. Rinard	Using early phase termination to eliminate load imbalances at barrier synchronization points.	OOPSLA	2007	DBLP DOI BibTeX RDF	early phase termination, probabilistic cistortion models, parallel computing, barrier synchronization
3	Salvador Lucas	Practical use of polynomials over the reals in proofs of termination.	PPDP	2007	DBLP DOI BibTeX RDF	polynomial orderings, program analysis, termination, term rewriting
3	Isabelle Gnaedig	Induction for positive almost sure termination.	PPDP	2007	DBLP DOI BibTeX RDF	constraint, probability, abstraction, termination, narrowing
3	Jean-Pierre Jouannaud, Albert Rubio	Polymorphic higher-order recursive path orderings.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
3	Salvador Lucas	On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Polynomial orderings, Program analysis, Termination, Term rewriting
3	Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer	Termination Analysis of Model Transformations by Petri Nets.	ICGT	2006	DBLP DOI BibTeX RDF	Petri nets, model transformation, termination, graph transformation
3	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Termination proofs for systems code.	PLDI	2006	DBLP DOI BibTeX RDF	model checking, formal verification, program verification, program termination
3	Jingyu Zhou, Tao Yang	Selective early request termination for busy internet services.	WWW	2006	DBLP DOI BibTeX RDF	request termination, internet services, load shedding
3	Tien-Ying Kuo, Hsin-Ju Lu	Efficient H.264 Encoding Based on Skip Mode Early Termination.	PSIVT	2006	DBLP DOI BibTeX RDF	variable block size motion compensation, skip mode, H.264, early termination
3	Panagiotis Manolios, Daron Vroon	Integrating static analysis and general-purpose theorem proving for termination analysis.	ICSE	2006	DBLP DOI BibTeX RDF	static analysis, theorem proving, termination, liveness, ACL2
3	Gruia-Catalin Roman, Jamie Payton	A Termination Detection Protocol for Use in Mobile Ad Hoc Networks.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	algorithm, ad hoc network, mobile computing, termination detection, diffusing computation
3	Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain	Mechanically Proving Termination Using Polynomial Interpretations.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	polynomial interpretations, termination, term rewriting
3	Brigitte Pientka	Verifying Termination and Reduction Properties about Higher-Order Logic Programs.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	termination, Logical frameworks
3	Alexander Serebrenik, Danny De Schreye	Termination of Floating-Point Computations.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	floating point, numerical computation, termination analysis
3	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Termination Proofs for String Rewriting Systems via Inverse Match-Bounds.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	match-bounded, inhibitor, termination, normalization, reachability, regular languages, context-free languages, semi-Thue systems, string rewriting systems
3	René Thiemann, Jürgen Giesl	The size-change principle and dependency pairs for termination of term rewriting.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Size-change principle, Termination, Term rewriting, Dependency pairs
3	Anish Arora, Mikhail Nesterenko	Unifying stabilization and termination in message-passing systems.	Distributed Computing	2005	DBLP DOI BibTeX RDF	fault-tolerance, Self-stabilization, termination
3	Salvador Lucas, José Meseguer	Termination of Fair Computations in Term Rewriting.	LPAR	2005	DBLP DOI BibTeX RDF	fairness, program analysis, Concurrent programming, termination, term rewriting
3	Manh Thang Nguyen, Danny De Schreye	Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF	polynomial interpretations, acceptability, Termination analysis
3	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
3	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Termination of simply moded logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	simply moded, Logic programs, termination, dynamic scheduling
3	Xinli Wang, Jean Mayo	A General Model for Detecting Distributed Termination in Dynamic Systems.	IPDPS	2004	DBLP DOI BibTeX RDF	distributed termination detection, general model
3	Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
3	Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri	Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies.	DISC	2004	DBLP DOI BibTeX RDF	quiescence detection, optimal message complexity, optimal detection latency, termination detection
3	Jeremy E. Dawson, Rajeev Goré	A General Theorem on Termination of Rewriting.	CSL	2004	DBLP DOI BibTeX RDF	well-founded ordering, recursive path ordering, termination, rewriting
3	Salvador Lucas	Polynomials for Proving Termination of Context-Sensitive Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF	Programming languages, termination, rewriting
3	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	universal termination, bounded nondeterminism, strong termination, logic programming
3	Sara Comai, Letizia Tanca	Termination and Confluence by Rule Prioritization.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	database dynamics, deductive databases, termination, determinism, Active databases
3	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang	A dynamic approach to characterizing termination of general logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	dynamic characterization, Prolog, Termination analysis
3	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	Simplification and termination of strategies in rule-based languages.	PPDP	2003	DBLP DOI BibTeX RDF	termination, strategies, rewriting, rule based languages, program simplification
3	Wayne Eberly	Early termination over small fields.	ISSAC	2003	DBLP DOI BibTeX RDF	Lanczos algorithm, linear system solution, randomized algorithm, finite field, Berlekamp-Massey algorithm, early termination, black box matrix
3	Salvador Lucas	Termination of (Canonical) Context-Sensitive Rewriting.	RTA	2002	DBLP DOI BibTeX RDF	(infinitary) normalization, termination, term rewriting
3	Bernhard Gramlich, Salvador Lucas	Simple termination of context-sensitive rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies
3	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.	PPDP	2002	DBLP DOI BibTeX RDF	ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
3	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
3	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
3	Paolo Torroni	A study on the termination of negotiation dialogues.	AAMAS	2002	DBLP DOI BibTeX RDF	multi-agent systems, negotiation, termination, dialogue, abduction, computational logic
3	Alfons Geser	Loops of Superexponential Lengths in One-Rule String Rewriting.	RTA	2002	DBLP DOI BibTeX RDF	uniform termination, one-rule, single-rule Submission category: Regular research paper, termination, loop, string rewriting, semi-Thue system
3	Yu-Chee Tseng, Cheng-Chung Tan	Termination Detection Protocols for Mobile Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	mobile computing, wireless network, Distributed computing, operating system, distributed protocol, termination detection
3	Hans Zantema	The Termination Hierarchy for Term Rewriting.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Monotone algebras, Termination, Term rewriting, String rewriting
3	Dieter Hofbauer	Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Ground rewriting, Termination proofs, Derivational complexity, Term rewriting systems
3	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
3	Enno Ohlebusch	Termination of Logic Programs: Transformational Methods Revisited.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic programs, Transformations, Termination, Term rewriting systems
3	Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	A General Framework for Automatic Termination Analysis of Logic Programs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Termination of logic programs, Constraints, Abstract interpretation
3	Salvador Lucas	Termination of Rewriting With Strategy Annotations.	LPAR	2001	DBLP DOI BibTeX RDF	Rewriting strategies, termination
3	Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram	The size-change principle for program termination.	POPL	2001	DBLP DOI BibTeX RDF	omega automaton, program analysis, termination, partial evaluation, PSPACE-completeness
3	Can Türker, Kerstin Schwarz, Gunter Saake	Global Transaction Termination Rules in Composite Database Systems.	BNCOD	2000	DBLP DOI BibTeX RDF	global transactions, composite database systems, extensional assertions, termination dependencies
3	Roberta Gori	An Abstract Interpretation Approach to Termination of Logic Programs.	LPAR	2000	DBLP DOI BibTeX RDF	Infinite derivations, Universal termination, Logic programming, Abstract interpretation
3	Alexander Serebrenik, Danny De Schreye	Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF	acceptability, termination analysis, term-orderings
3	Stefaan Decorte, Danny De Schreye, Henk Vandecasteele	Constraint-based termination analysis of logic programs.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	logic programming, constraint solving, termination analysis
3	Danilo Montesi, Maria Bagnato, Cristina Dallera	Termination Analysis in Active Databases. (PDF / PS)	IDEAS	1999	DBLP DOI BibTeX RDF	rules termination, static analysis, active databases
3	Michael Leuschel	Improving Homeomorphic Embedding for Online Termination.	LOPSTR	1998	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders
3	Ho-fung Leung, Hing-Fung Ting	An Optimal Algorithm for Global Termination Detection in Shared-Memory Asynchronous Multiprocessor Systems.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	optimality, Termination detect, shared-memory multiprocessor systems
3	Andy J. Wellings, Alan Burns, Offer Pazy	Task Termination in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	termination, asynchronous communication, Ada 95
3	Pradipta K. Dash, R. C. Hansdah	A Fault-Tolerant Distributed Algorithm for Termination Detection Using Roughly Synchronized Clocks. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	global termination, asynchronous & synchronous networks, roughly synchronized clocks, Distributed computation, resilience
3	Cheng-Zhong Xu, Francis C. M. Lau	Efficient Termination Detection for Loosely Synchronous Applications in Multicomputers.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	synchronous computations, distributed algorithms, interconnection networks, multicomputers, Data parallelism, termination detection, parallel and distributed systems
3	Peter Csaba Ölveczky, Olav Lysne	Order-Sorted Termination: The Unsorted Way.	ALP	1996	DBLP DOI BibTeX RDF	Order-sortedness, Termination
3	Salvador Lucas	Termination of Context-Sensitive Rewriting by Rewriting.	ICALP	1996	DBLP DOI BibTeX RDF	functional programming, termination, term rewriting
3	E. A. Cichon, Hélène Touzet	An Ordinal Calculus for Proving Termination in Term Rewriting.	CAAP	1996	DBLP DOI BibTeX RDF	ordinal recursion, termination, rewrite systems, primitive recursion
3	Géraud Sénizergues	On the Termination Problem for One-Rule Semi-Thue System.	RTA	1996	DBLP DOI BibTeX RDF	rational monoid, automatic structure, termination, finite automata, semi-Thue systems
3	Annalisa Bossi, Nicoletta Cocco	Preserving Universal Termination through Unfold/Fold.	ALP	1994	DBLP DOI BibTeX RDF	universal termination, program transformations
3	Gerard Tel, Friedemann Mattern	The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	distributed termination detection, distributed algorithms, program transformations, garbage collection
3	W. Eric L. Grimson	The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	constrained search model, heuristic search termination, scene clutter, pattern recognition, pattern recognition, picture processing, optimisation, search problems, combinatorics
3	Annalisa Bossi, Nicoletta Cocco, Massimo Fabris	Proving Termination of Logic Programs by Exploiting Term Properties.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	Prolog programs, norm on terms, pre/post specifications, termination