Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Paolo Di Giamberardino, Salvatore Monaco, Dorothée Normand-Cyrot	On Equivalence and Feedback Equivalence to Finitely Computable Sampled Models.	CDC	2006	DBLP DOI BibTeX RDF
18	Jean-Michel Fourneau, Erol Gelenbe	Flow equivalence and stochastic equivalence in G-networks.	Comput. Manag. Sci.	2004	DBLP DOI BibTeX RDF
18	Florence Duclaye	Apprentissage automatique de relations d'équivalence sémantique à partir du Web. (Semantic equivalence relationship learning from the Web).		2003	RDF
18	Peter Buchholz 0001	Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
18	Qingyan Du	On σ-equivalence and χ-equivalence of graphs.	J. Graph Theory	1996	DBLP DOI BibTeX RDF
18	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Formal Aspects Comput.	1993	DBLP DOI BibTeX RDF
18	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
18	Josette Berger-Toussan	Un sous-système de recherche géométrique et d'équivalence pour la CAO de circuits intégrés VLSI. (Geometrical and equivalence searching sub-system for CAD of VLSI integrated circuits).		1988	RDF
18	Samson Abramsky	Observation Equivalence as a Testing Equivalence.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
18	Anne Preller	A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.	Math. Log. Q.	1985	DBLP DOI BibTeX RDF
18	Joost Engelfriet	Determinacy - (Observation Equivalence = Trace Equivalence).	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
18	Mark E. Nadel	An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
18	Karel Culík II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa	Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms.	Theor. Comput. Sci.	1978	DBLP DOI BibTeX RDF
18	Grzegorz Rozenberg	Direct Proofs of the Undecidability of the Equivalence Problem for Sentential Forms of Linear Context-Free Grammars and the Equivalence Problem for 0L Systems.	Inf. Process. Lett.	1972	DBLP DOI BibTeX RDF
18	Robert L. Constable, Steven S. Muchnick	Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems.	J. Comput. Syst. Sci.	1972	DBLP DOI BibTeX RDF
18	Philippe Butzbach	Une famille de congruences de Thue pour lesquelles le problème de l'équivalence est décidable. Application á l'équivalence des grammaires séparées.	ICALP	1972	DBLP BibTeX RDF
18	Robert L. Constable, Steven S. Muchnick	Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems	STOC	1972	DBLP DOI BibTeX RDF
18	Terrence W. Pratt	Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.	IJCAI	1971	DBLP BibTeX RDF
16	Andrew M. Pitts	Nominal system T.	POPL	2010	DBLP DOI BibTeX RDF	alpha-equivalence, types, recursion, binders
16	Jeonghee Yi, Farzin Maghoul	Query clustering using click-through graph.	WWW	2009	DBLP DOI BibTeX RDF	biclique, click-through graph, equivalence set, maximal bipartite clique, query clustring, query intent
16	A. Nagaraju 0001, Ramachandram Sirandas	Rough set based ad-hoc on demand distance vector routing algorithm for MANETs.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	route request, rough set, AODV, equivalence class
16	Benny Godlin, Ofer Strichman	Regression verification.	DAC	2009	DBLP DOI BibTeX RDF	software verification, equivalence checking
16	Thomas Vetterlein	A Way to Interpret Lukasiewicz Logic and Basic Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
16	Mengjie Zhang 0001, Phillip Wong	Genetic programming for medical classification: a program simplification approach.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Medical classification, Algebraic equivalence, Genetic programming, Program simplification, Hashing techniques
16	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
16	Gaëlle Molinari, Mirweis Sangin, Pierre Dillenbourg	When Co-learners Work on Complementary Texts: Effects on Outcome Convergence.	EC-TEL	2008	DBLP DOI BibTeX RDF	jigsaw scripts, knowledge interdependence, outcome knowledge equivalence, shared outcome knowledge, Computer-supported collaborative learning
16	Armin Beer, Stefan Mohacsi	Efficient Test Data Generation for Variables with Complex Dependencies.	ICST	2008	DBLP DOI BibTeX RDF	Multi-dimensional equivalence partitions, Cause-effect analysis, CECIL method, Test Data Generation
16	Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes	BenCGen: a digital circuit generation tool for benchmarks.	SBCCI	2008	DBLP DOI BibTeX RDF	benchmarks, sat solvers, combinational equivalence checking
16	Marco Almeida, Nelma Moreira, Rogério Reis	Antimirov and Mosses's Rewrite System Revisited.	CIAA	2008	DBLP DOI BibTeX RDF	regular expression equivalence, minimal automata, regular expressions, rewriting systems, regular languages, derivatives, partial derivatives
16	Fritz Henglein	Generic discrimination: sorting and paritioning unshared data in linear time.	ICFP	2008	DBLP DOI BibTeX RDF	multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
16	Fachao Li 0001, Chao Gao, Chenxia Jin	Attribute Reduction Based on the Fuzzy Information Filter Operators.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Fuzzy equivalence matrix, Fuzzy information entropy, FIE-RED, Fuzzy information filter operator, FIFO-RED
16	Kelvin Ng	Challenges in using system-level models for RTL verification.	DAC	2008	DBLP DOI BibTeX RDF	simulation, equivalence checking, system-level model, RTL models
16	Irena Mlýnková	Similarity of XML schema definitions.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	equivalence of XSD constructs, similarity, XML schema
16	Luigi Santocanale	On the Join Dependency Relation in Multinomial Lattices.	Order	2007	DBLP DOI BibTeX RDF	Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies
16	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, II.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
16	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, III.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
16	Omprakash K. Gupta, Sudhir Tandon, Sukumar Debnath, Anna S. Rominger	Package downsizing: is it ethical?	AI Soc.	2007	DBLP DOI BibTeX RDF	Principle of equivalence, Ethical, Package, Downsizing
16	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	J. ACM	2007	DBLP DOI BibTeX RDF	bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
16	Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer	A characterization of regular expressions under bisimulation.	J. ACM	2007	DBLP DOI BibTeX RDF	regular expressions, Bisimulation equivalence
16	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Fixing Design Errors with Counterexamples and Resynthesis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	simulation-based verification, digital design errors, error-correction framework, resynthesis techniques, goal-directed search, entropy-guided search, counterexamples, digital designs, combinational equivalence-checking
16	Zhiwen Mo, Xiaolei Hong	Minimization of Mizumoto Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence
16	Joseph Gil, Keren Lenz	Simple and safe SQL queries with c++ templates.	GPCE	2007	DBLP DOI BibTeX RDF	structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages
16	Nick Benton, Peter Buchlovsky	Semantics of an effect analysis for exceptions.	TLDI	2007	DBLP DOI BibTeX RDF	partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems
16	Bin Yang, Baowen Xu, Yajun Li	An Incremental Approach for Attribute Reduction in Concept Lattice.	RSKT	2007	DBLP DOI BibTeX RDF	concept lattice, equivalence classes, knowledge reduction
16	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
16	Chandan Karfa, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Chris Reade	Hand-in-hand verification of high-level synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	FSMD model, formal verification, high-level synthesis, equivalence checking
16	Lizhen Wang, Junli Lu, Joan Lu, Jim Yip	AOG-ags Algorithms and Applications.	ADMA	2007	DBLP DOI BibTeX RDF	Attribute-oriented generalization (AOG), Concept hierarchy trees, Attributes’ generalization sequences (AGS), Equivalence partition trees, Interestingness of AGS
16	Lifeng He, Yuyan Chao, Kenji Suzuki 0001	A Run-Based Two-Scan Labeling Algorithm.	ICIAR	2007	DBLP DOI BibTeX RDF	label equivalence, run data, pattern recognition, connected components, linear-time algorithm, Labeling algorithm
16	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, I.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
16	Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001	Mining in Anticipation for Concept Change: Proactive-Reactive Prediction in Data Streams.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	concept change, proactive learning, reactive learning, conceptual equivalence, classification, data stream
16	Pierre Genevès, Nabil Layaïda	A system for the static analysis of XPath.	ACM Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF	XML, query, logic, XPath, equivalence, Containment
16	Yanxia Zhang, Lei Guo 0001	Convergence analysis of cautious control.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	cautious control, certainty equivalence, stability, convergence, Kalman filter, adaptive control, least-squares
16	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
16	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
16	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Rewriting queries with arbitrary aggregation functions using views.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	View usability, query rewriting, query equivalence
16	Matt Kaufmann, J Strother Moore	Double rewriting for equivalential reasoning in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations
16	Patrick Pantel, Andrew Philpot, Eduard H. Hovy	Matching and integration across heterogeneous data sources.	DG.O	2006	DBLP DOI BibTeX RDF	database alignment, equivalence class detection, information theory, mutual information
16	Shiyi Xu	A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing.	PRDC	2006	DBLP DOI BibTeX RDF	Software Testing, Mutation Testing, Testing Effectiveness, Fault Equivalence, Fault Dominance
16	Tao Feng 0012, Li-C. Wang, Kwang-Ting Cheng, Chih-Chan Lin	Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Formal verification, equivalence checking, symbolic simulation
16	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	POPL	2005	DBLP DOI BibTeX RDF	bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
16	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
16	Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001	Combining proactive and reactive predictions for data streams.	KDD	2005	DBLP DOI BibTeX RDF	conceptual equivalence, proactive learning, data stream
16	Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs	A Non-convex PDE Scale Space.	Scale-Space	2005	DBLP DOI BibTeX RDF	Morphological regularization, equivalence relations, diffusion filtering
16	Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler	Utilizing don't care states in SAT-based bounded sequential problems.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking
16	Simon Helsen	Bisimilarity for the Region Calculus.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	region calculus, bisimulation, equational theory, contextual equivalence
16	Xuhua Li	Largest E-thin, E-invariant sets below bigtriangleup1 3.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Definable equivalence relation, Thin 11 set, Invariant set, Effective induction
16	Satoru Iwata 0001	Computing the Maximum Degree of Minors in Matrix Pencils via Combinatorial Relaxation.	Algorithmica	2003	DBLP DOI BibTeX RDF	Combinatorial relaxation, Index of DAE, Matrix pencil, Strict equivalence transformation, Matching, Determinant
16	Mustafa Demirci	Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations.	IFSA	2003	DBLP DOI BibTeX RDF	Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic
16	Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain	Solving the latch mapping problem in an industrial setting.	DAC	2003	DBLP DOI BibTeX RDF	latch mapping, combinational equivalence checking
16	Peter Buchholz 0001, Peter Kemper	Efficient Computation and Representation of Large Reachability Sets for Composed Automata.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	automata networks, Kronecker representation, ordered natural decision diagrams, reachability analysis, equivalence
16	Lucian Ilie, Sheng Yu 0001	Constructing NFA s by Optimal Use of Positions in Regular Expressions.	CPM	2002	DBLP DOI BibTeX RDF	right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata
16	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
16	Chuang Lin 0002, Yang Qu II, Fengyuan Ren, Dan C. Marinescu	Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models.	EDCIS	2002	DBLP DOI BibTeX RDF	Performance equivalence, Performance analysis, Stochastic Petri nets, Workflow management systems
16	Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion	A practical and efficient method for compare-point matching.	DAC	2002	DBLP DOI BibTeX RDF	combinational verification, latch mapping, equivalence checking
16	Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng	RTL c-based methodology for designing and verifying a multi-threaded processor.	DAC	2002	DBLP DOI BibTeX RDF	formal equivalence, design, verification, RTL, checking, C/C++
16	Jan A. Bergstra, Alban Ponse	Register-machine based processes.	J. ACM	2001	DBLP DOI BibTeX RDF	Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
16	G. Chevalier, Sylvia Pulmannová	Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras.	Order	2000	DBLP DOI BibTeX RDF	dimension equivalence, lattice of ideals, partial Abelian monoid, R 1-ideal, Riesz ideal, Sasaki projection, congruence, ideal, effect algebra
16	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
16	Elisa Bertino, Danilo Montesi, Alberto Trombetta	Fuzzy and Presentation Algebras for Web and Multimedia Data.	IDEAS	2000	DBLP DOI BibTeX RDF	fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
16	Sukhamay Kundu	The concept of path-closed subsets and its use in software functional design.	APSEC	2000	DBLP DOI BibTeX RDF	path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram
16	John Thornley, K. Mani Chandy	Monotonic Counters: A New Mechanism for Thread Synchronization.	IPDPS	2000	DBLP DOI BibTeX RDF	monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization
16	Heraldo Maciel França Madeira, Junior Barrera	Incremental Evaluation of BDD-Represented Set Operators.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators
16	Rong Xiao, Jicheng Wang, Fuyan Zhang	An approach to incremental SVM learning algorithm.	ICTAI	2000	DBLP DOI BibTeX RDF	incremental learning algorithm, support vector set properties, classification equivalence, knowledge accumulation, optimal unimportant sample discarding, least-recently used scheme, training process speed, classification precision, support vector machine, learning (artificial intelligence), pattern classification, learning automata, training set, classification algorithm, storage costs
16	Joëlle Vittone, Jean-Marc Chassery	Recognition of Digital Naive Planes and Polyhedrization.	DGCI	2000	DBLP DOI BibTeX RDF	Digital naive plane, Polyhedrization, Recognition, Equivalence classes
16	James E. Kimble Jr., Lee J. White	An Alternative Source Code Analysis.	ICSM	2000	DBLP DOI BibTeX RDF	testing, Reengineering, code analysis, legacy code, program equivalence
16	Jean-Michel Couvreur, Denis Poitrenaud	Detection of Illegal Behaviors Based on Unfoldings.	ICATPN	1999	DBLP DOI BibTeX RDF	Failure Equivalence, Model Checking, Petri Net, Partial Order
16	Debatosh Debnath, Tsutomu Sasao	Fast Boolean Matching Under Permutation Using Representative.	ASP-DAC	1999	DBLP DOI BibTeX RDF	variable permutation, P-equivalence, technology mapping, Boolean matching
16	Tosiyasu L. Kunii	Computational Shape Modeling: Valid vs. Invalid.	Shape Modeling International	1999	DBLP DOI BibTeX RDF	valid shape modeling, shape equivalence, cellular spatial structures
16	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Heuristics and Experimental Design for Bigraph Crossing Number Minimization.	ALENEX	1999	DBLP DOI BibTeX RDF	Crossing number minimization in graphs, graph equivalence classes, design of experiments
16	Linjiang Ma, Tse-Yun Feng	Routing A Class of Concatenated Omega Networks.	FTDCS	1999	DBLP DOI BibTeX RDF	topological equivalence, omega + omega networks, labeling scheme, Benes networks
16	Mads Nielsen, Ole Fogh Olsen	The Structure of the Optic Flow Field.	ECCV (2)	1998	DBLP DOI BibTeX RDF	equivalence under deformation, flow structure, flow topology, optic flow, attention, scale-space, singularities, turbulence, transversality, catastrophe theory
16	Phan Hong Giang	Representation of Uncertain Belief Using Interval Probability.	ISMVL	1997	DBLP DOI BibTeX RDF	uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set
16	Lisa Hellerstein, Krishnan Pillaipakkamnatt, Vijay Raghavan 0002, Dawn Wilkins	How Many Queries Are Needed to Learn?	J. ACM	1996	DBLP DOI BibTeX RDF	exact identification, polynomial-query learning, polynomial-time learning, proper learning, certificates, membership queries, equivalence queries, polynomial-time hierarchy
16	Lin Lin Wang	Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	database scheme, left-right subset, Attribute, Hamiltonian cycle, equivalence class, representative
16	Sha Guo, Wei Sun 0002, Mark Allen Weiss	Solving Satisfiability and Implication Problems in Database Systems.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	satisfiabilty, reasoning, equivalence, deduction, implication
16	Panos A. Patsouris	Two-level-hierarchies of objects: a unit of reference for distributed object-oriented databases.	ICPADS	1996	DBLP DOI BibTeX RDF	two-level-hierarchies of objects, unit of reference, distributed object-oriented databases, partial directed acyclic graphs, vertices objects, Uni-Design, distribution design strategy, distributed databases, aggregation, object-oriented databases, directed graphs, grouping, association, equivalence relation
16	Helmut Thiele	On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings.	ISMVL	1996	DBLP DOI BibTeX RDF	lattice of tolerance relations, lattices of clusterings, one-to-one correspondences, classical set theory, bijections, complete atomistic boolean algebra, strongly model-compact coverings, cluster analysis, set theory, multivalued logic, equivalence classes, isomorphisms, similarity relations, mathematical foundations, lattice isomorphisms
16	Florian Krohm, Andreas Kuehlmann, Arjen Mets	The use of random simulation in formal verification.	ICCD	1996	DBLP DOI BibTeX RDF	random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence
16	Bing Bing Zhou, Richard P. Brent	On parallel implementation of the one-sided Jacobi algorithm for singular value decompositions.	PDP	1995	DBLP DOI BibTeX RDF	one-sided Jacobi algorithm, column norms, parallel Jacobi orderings, parallel orderings, Fujitsu AP1000, parallel algorithms, sorting, singular value decomposition, singular value decompositions, equivalence, parallel implementation, Jacobian matrices
16	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification