Stem equal$ (all stems)

170 papers:

CASE-2015-HanZ #analysis #energy

Charge transfer and energy transfer analysis of battery charge equalization (WH, LZ), pp. 1137–1138.

DAC-2015-Pomeranz #generative #testing

Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.

ESOP-2015-FrielinghausPS #interprocedural

Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.

CSCW-2015-StateA #online #social

The Diffusion of Support in an Online Social Movement: Evidence from the Adoption of Equal-Sign Profile Pictures (BS, LAA), pp. 1741–1750.

TLCA-2015-CastellanCD #similarity

Undecidability of Equality in the Free Locally Cartesian Closed Category (SC, PC, PD), pp. 138–152.

CASE-2014-HanZH #analysis

System-theoretic analysis of battery systems during equalization, charging, and discharging (WH, LZ, YH), pp. 158–163.

DATE-2014-ZangenehJ #design #feedback #logic #using

Sub-threshold logic circuit design using feedback equalization (MZ, AJ), pp. 1–6.

ESOP-2014-CockxPD #independence #similarity

Overlapping and Order-Independent Patterns — Definitional Equality for All (JC, FP, DD), pp. 87–106.

TACAS-2014-HerreraWP #network #query #reduction

Quasi-Equal Clock Reduction: More Networks, More Queries (CH, BW, AP), pp. 295–309.

SAS-2014-GhorbalSP #algebra #difference #equation #polynomial

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.

LATA-2014-Cerny #composition #morphism #multi #problem

Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.

KR-2014-PatriziV #constraints #database #similarity

Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (FP, SV).

OSDI-2014-PillaiCAAAA #complexity #file system

All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.

IJCAR-2014-BerdineB #refinement #smt

Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.

IJCAR-2014-HetzlLRTW #logic #quantifier #similarity

Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.

LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity

Equality and fixpoints in the calculus of structures (KC, NG), p. 10.

CASE-2013-ChenZH #analysis #modelling #performance

Mathematical modeling and performance analysis of battery equalization systems (HC, LZ, YH), pp. 711–716.

DATE-2013-RizkBJMA #case study #design

Statically-scheduled application-specific processor design: a case-study on MMSE MIMO equalization (MR, AB, MJ, YM, YA), pp. 677–680.

ICDAR-2013-RoeM #documentation #image #using

Binarization of Color Historical Document Images Using Local Image Equalization and XDoG (ER, CABM), pp. 205–209.

CIAA-J-2012-Crespi-ReghizziP13 #strict #testing

Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.

ICALP-v2-2013-Fu #similarity

Checking Equality and Regularity for Normed BPA with Silent Moves (YF), pp. 238–249.

ICALP-v2-2013-LipmaaT #complexity #online #similarity #sublinear #testing

Secure Equality and Greater-Than Tests with Sublinear Online Complexity (HL, TT), pp. 645–656.

ICFP-2013-WeirichHE #similarity

System FC with explicit kind equality (SW, JH, RAE), pp. 275–286.

CSL-2013-SchmidtW #abduction #complexity #constraints #similarity

The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.

ITiCSE-2012-DennyLT #fault #syntax

All syntax errors are not equal (PD, ALR, EDT), pp. 75–80.

WRLA-2012-GutierrezMR #axiom #order #similarity

Order-Sorted Equality Enrichments Modulo Axioms (RG, JM, CR), pp. 162–181.

ICPC-2012-SharafiSGA #identifier #source code #women

Women and men — Different but equal: On the impact of identifier style on source code reading (ZS, ZS, YGG, GA), pp. 27–36.

ICSM-2012-RupakhetiH #constraints #fault #modelling #similarity #theorem proving #using

Finding errors from reverse-engineered equality models using a constraint solver (CRR, DH), pp. 77–86.

CIAA-2012-Crespi-ReghizziP #strict #testing

Strict Local Testability with Consensus Equals Regularity (SCR, PSP), pp. 113–124.

ICALP-v2-2012-GellesOW #multi #proximity #similarity #testing

Multiparty Proximity Testing with Dishonest Majority from Equality Testing (RG, RO, KW), pp. 537–548.

ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity

Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.

FoSSaCS-2011-Abel #similarity #type system

Irrelevance in Type Theory with a Heterogeneous Equality Judgement (AA0), pp. 57–71.

ICSM-2011-RupakhetiH #implementation #java #named #similarity

EQ: Checking the implementation of equality in Java (CRR, DH), pp. 590–593.

CADE-2011-BaumgartnerT #evolution #similarity

Model Evolution with Equality Modulo Built-in Theories (PB, CT), pp. 85–100.

CAV-2011-SteppTL #validation

Equality-Based Translation Validator for LLVM (MS, RT, SL), pp. 737–742.

ISSTA-2011-PradelG #detection #order

Detecting anomalies in the order of equally-typed method arguments (MP, TRG), pp. 232–242.

LICS-2011-MadelaineM #first-order #logic #similarity

A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.

RTA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what

Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What’s New? (ST), pp. 1–2.

RTA-2011-ZantemaE #automation #proving #similarity

Proving Equality of Streams Automatically (HZ, JE), pp. 393–408.

TLCA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what

Tree Automata, (Dis-)Equality Constraints and Term Rewriting — What’s New? (ST), pp. 3–5.

CASE-2010-KwokHFRW #approach #image #using

Color image contrast enhancement using a local equalization and weighted sum approach (NMK, QPH, GF, ABR, DW), pp. 568–573.

DATE-2010-AbbasCFKA #adaptation #automation #framework #generative #performance #testing

An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links (MA, KTC, YF, SK, KA), pp. 1755–1760.

WCRE-2010-RupakhetiH #approach #java #similarity

An Abstraction-Oriented, Path-Based Approach for Analyzing Object Equality in Java (CRR, DH), pp. 205–214.

FLOPS-2010-AlvezL #axiom #similarity #strict

A Complete Axiomatization of Strict Equality (JÁ, FJLF), pp. 118–133.

GPCE-2010-GrechRF #generative #named #similarity

JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.

CSL-2010-Chaudhuri #logic

Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.

CSL-2010-MartinM #complexity #first-order #logic #similarity

The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.

IJCAR-2010-KorovinS #named #proving #similarity #theorem proving

iProver-Eq: An Instantiation-Based Theorem Prover with Equality (KK, CS), pp. 196–202.

LICS-2010-SilesH #similarity #type system

Equality Is Typable in Semi-full Pure Type Systems (VS, HH), pp. 21–30.

VMCAI-2010-ChenMWC #abstract domain #linear

An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.

DATE-2009-JafriKBJ #flexibility #linear

ASIP-based flexible MMSE-IC Linear Equalizer for MIMO turbo-equalization applications (ARJ, DK, AB, MJ), pp. 1620–1625.

PODS-2009-Figueira #satisfiability #similarity #testing #xpath

Satisfiability of downward XPath with data equality tests (DF), pp. 197–206.

TACAS-2009-FuchsGGKT #formal method #similarity

Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.

FM-2009-SeidlVV #alias #analysis #linear #polynomial

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis (HS, VV, VV), pp. 644–659.

IDGD-2009-ZhongLL #learning #similarity

Exploring the Influences of Individualism-Collectivism on Individual’s Perceived Participation Equality in Virtual Learning Teams (YZ, NL, JL), pp. 207–216.

POPL-2009-TateSTL #approach #optimisation #similarity

Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.

ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity

Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.

LICS-2009-MadelaineM #complexity #first-order #logic #similarity

The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.

DAC-2008-ZhangYZDKDKC #optimisation #power management #using

Low power passive equalizer optimization using tritonic step response (LZ, WY, HZ, AD, GAK, DMD, ESK, CKC), pp. 570–573.

DATE-2008-VytyazHMM #analysis #constraints #design #similarity

Periodic Steady-State Analysis Augmented with Design Equality Constraints (IV, PKH, UKM, KM), pp. 312–317.

ESOP-2008-Muller-OlmS #interprocedural #performance

Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.

FASE-2008-BergJR #similarity #state machine #testing #using

Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.

STOC-2008-ODonnellW #algorithm #testing

An optimal sdp algorithm for max-cut, and equally optimal long code tests (RO, YW), pp. 335–344.

DLT-2008-HadravovaH #scalability #similarity #word

Large Simple Binary Equality Words (JH, SH), pp. 396–407.

ICFP-2008-AdamsD #graph #performance #similarity

Efficient nondestructive equality checking for trees and graphs (MDA, RKD), pp. 179–188.

SMT-2007-RozanovS08 #constraints #generative #logic #similarity #transitive

Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (MR, OS), pp. 3–17.

ICLP-2008-Cabalar #programming #set #similarity

Partial Functions and Equality in Answer Set Programming (PC), pp. 392–406.

RTA-2008-Stratulat #induction

Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.

DATE-2007-HongSCY #adaptation

A two-tone test method for continuous-time adaptive equalizers (DH, SS, KTC, CPY), pp. 1283–1288.

ICALP-2007-KariantoL #automaton

Unranked Tree Automata with Sibling Equalities and Disequalities (KW, CL), pp. 875–887.

CADE-2007-BaumgartnerFP #similarity

Hyper Tableaux with Equality (PB, UF, BP), pp. 492–507.

LICS-2007-AbelCD #evaluation #normalisation #similarity #type system

Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements (AA, TC, PD), pp. 3–12.

LICS-2007-BodirskyC #constraints #quantifier #similarity

Quantified Equality Constraints (MB, HC), pp. 203–212.

DAC-2006-BerezaTWKP #named

PELE: pre-emphasis & equalization link estimator to address the effects of signal integrity limitations (WB, YT, SW, TAK, RHP), pp. 1013–1016.

ICFP-2006-Rosu #problem #similarity

Equality of streams is a Pi0 over 2-complete problem (GR), pp. 184–191.

CSCW-2006-WilsonGF #collaboration #scalability

Not all sharing is equal: the impact of a large display on small group collaborative work (SMW, JG, JF), pp. 25–28.

ICPR-v2-2006-BaiH #case study #normalisation #online #recognition

A Study of Nonlinear Shape Normalization for Online Handwritten Chinese Character Recognition: Dot Density vs. Line Density Equalization (ZLB, QH), pp. 921–924.

ICPR-v2-2006-LuB #image #nearest neighbour #performance #retrieval

Fast Image Retrieval Based on Equal-average Equal-variance K-Nearest Neighbour Search (ZML, HB), p. 853–?.

IJCAR-2006-JacquemardRV #automaton #constraints #equation #similarity

Tree Automata with Equality Constraints Modulo Equational Theories (FJ, MR, LV), pp. 557–571.

DAC-2005-RenG #framework #optimisation #synthesis

A unified optimization framework for equalization filter synthesis (JR, MRG), pp. 638–643.

DATE-2005-IranliFP #named #scalability

HEBS: Histogram Equalization for Backlight Scaling (AI, HF, MP), pp. 346–351.

ESOP-2005-Muller-OlmSS #interprocedural

Interprocedural Herbrand Equalities (MMO, HS, BS), pp. 31–45.

MoDELS-2005-CraneD #modelling #uml

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.

MoDELS-2005-CraneD #modelling #uml

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.

POPL-2005-Goguen #approach #similarity #type system

A syntactic approach to eta equality in type theory (HG), pp. 75–84.

CADE-2005-BaumgartnerT #calculus #evolution #similarity

The Model Evolution Calculus with Equality (PB, CT), pp. 392–408.

CADE-2005-Brown #reasoning #similarity #type system

Reasoning in Extensional Type Theory with Equality (CEB), pp. 23–37.

CADE-2005-ContejeanC #first-order #logic #proving #similarity

Reflecting Proofs in First-Order Logic with Equality (EC, PC), pp. 7–22.

CAV-2005-McPeakN #axiom #data type #similarity #specification

Data Structure Specifications via Local Equality Axioms (SM, GCN), pp. 476–490.

CAV-2005-MeirS #logic #similarity

Yet Another Decision Procedure for Equality Logic (OM, OS), pp. 307–320.

RTA-2005-StumpT #algebra #proving #similarity

The Algebra of Equality Proofs (AS, LYT), pp. 469–483.

TLCA-2005-AbelC #algorithm #framework #logic #similarity

Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs (AA, TC), pp. 23–38.

VMCAI-2005-Muller-OlmRS

Checking Herbrand Equalities and Beyond (MMO, OR, HS), pp. 79–96.

SIGMOD-2004-KumaranH #multi #named #sql

LexEQUAL: Multilexical Matching Operator in SQL (AK, JRH), pp. 949–950.

TACAS-2004-LahiriBGT #similarity

Revisiting Positive Equality (SKL, REB, AG, MT), pp. 1–15.

ICALP-2004-ChrobakJST #online #scheduling

Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help (MC, WJ, JS, TT), pp. 358–370.

ICALP-2004-Midrijanis #bound #polynomial #problem #quantum #query #set #similarity

A Polynomial Quantum Query Lower Bound for the Set Equality Problem (GM), pp. 996–1005.

CSL-2004-Schroder #logic #similarity #λ-calculus

The Logic of the Partial λ-Calculus with Equality (LS), pp. 385–399.

IJCAR-2004-GanzingerSW #composition #proving #similarity

Modular Proof Systems for Partial Functions with Weak Equality (HG, VSS, UW), pp. 168–182.

FoSSaCS-2003-Lugiez #automaton #constraints #multi #similarity

Counting and Equality Constraints for Multitree Automata (DL), pp. 328–342.

OOPSLA-2003-MarinovO #profiling #similarity

Object equality profiling (DM, RO), pp. 313–325.

POPL-2003-GulwaniN #random #using

Discovering affine equalities using random interpretation (SG, GCN), pp. 74–84.

CSL-2003-Korovina #aspect-oriented #similarity

Computational Aspects of σ-Definability over the Real Numbers without the Equality Test (MVK), pp. 330–344.

LICS-2003-KorovinV #order

Orienting Equalities with the Knuth-Bendix Order (KK, AV), p. 75–?.

SAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity

Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.

SAT-2003-PorschenRS #algorithm #linear #problem #satisfiability

Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems (SP, BR, ES), pp. 172–187.

DATE-2002-Velev #similarity #using #verification

Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer (MNV), pp. 28–35.

WRLA-2002-ClavelMP #equation #logic #similarity

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (MC, JM, MP), pp. 110–126.

SAS-2002-Ruf #analysis #data flow #precise

Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.

DLT-2002-Holub #set #similarity

A Unique Structure of Two-Generated Binary Equality Sets (SH), pp. 245–257.

ESOP-2001-SuA #constraints #similarity

Entailment with Conditional Equality Constraints (ZS, AA), pp. 170–189.

CAV-2001-VelevB #logic #named #similarity

EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.

IJCAR-2001-NivelleP #similarity

A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.

DAC-2000-PhelpsKRCH #case study #synthesis

A case study of synthesis for industrial-scale analog IP: redesign of the equalizer/filter frontend for an ADSL CODEC (RP, MK, RAR, LRC, JRH), pp. 1–6.

ICML-2000-JiangL #approximate #information retrieval

Approximate Dimension Equalization in Vector-based Information Retrieval (FJ, MLL), pp. 423–430.

DAC-1999-SchaumontCVE #automation

A 10 Mbit/s Upstream Cable Modem with Automatic equalization (PS, RC, SV, ME), pp. 337–340.

DAC-1999-VelevB #pipes and filters #similarity #verification

Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors (MNV, REB), pp. 397–401.

SAS-1999-RuthingKS #detection #performance #precise

Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.

TOOLS-PACIFIC-1999-KollingR #on the #similarity

On Creation, Equality and the Object Model (MK, JR), p. 210–?.

CAV-1999-BryantGV #logic #similarity

Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions (REB, SMG, MNV), pp. 470–482.

CAV-1999-PnueliRSS #similarity

Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.

LICS-1999-Altenkirch #similarity #type system

Extensional Equality in Intensional Type Theory (TA), pp. 412–420.

LICS-1999-GanzingerN #similarity

A Superposition Decision Procedure for the Guarded Fragment with Equality (HG, HdN), pp. 295–303.

TLCA-1999-Statman #consistency #equation #theorem

Consequences of Jacopini’s Theorem: Consistent Equalities and Equations (RS), pp. 355–364.

STOC-1998-GoldreichSV #statistics

Honest-Verifier Statistical Zero-Knowledge Equals General Statistical Zero-Knowledge (OG, AS, SPV), pp. 399–408.

ICALP-1998-BazganST #algorithm #approximate #performance #problem #similarity

Efficient Approximation Algorithms for the Subset-Sums Equality Problem (CB, MS, ZT), pp. 387–396.

ALP-PLILP-1998-Refalo #detection #incremental

Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method (PR), pp. 481–496.

CADE-1998-BachmairGV #constraints #similarity

Elimination of Equality via Transformation with Ordering Constraints (LB, HG, AV), pp. 175–190.

CAV-1998-GoelSZAS #formal method #similarity

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions (AG, KS, HZ, AA, VS), pp. 244–255.

ICALP-1997-Kabanets

Recognizability Equals Definability for Partial k-Paths (VK), pp. 805–815.

CADE-1997-NiehrenPR #constraints #finite #on the #similarity #unification

On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (JN, MP, PR), pp. 34–48.

CADE-1997-NieuwenhuisRV #algorithm #automation #data type #deduction #kernel #named #similarity

Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses (RN, JMR, MÁV), pp. 49–52.

TLCA-1997-BrandtH #axiom #induction #recursion #similarity #type system

Coinductive Axiomatization of Recursive Type Equality and Subtyping (MB, FH), pp. 63–81.

SAS-1996-Emeljanov #analysis #similarity

Analysis of the Equality Relations for the Program Terms (PGE), pp. 174–188.

CADE-1996-Voronkov #logic #similarity

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification (AV), pp. 32–46.

ICML-1995-RaoGS #question

For Every Generalization Action, Is There Really an Equal and Opposite Reaction? (RBR, DFG, WMS), pp. 471–479.

ICLP-1995-DegtyarevV #horn clause #similarity

A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.

LICS-1995-DoughertyS #similarity

Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.

TLCA-1995-Ghani

ßn-Equality for Coproducts (NG), pp. 171–185.

LICS-1994-CharatonikP #constraints #set #similarity

Negative Set Constraints with Equality (WC, LP), pp. 128–136.

LOPSTR-1993-Neumerkel #similarity

A Transformation Based in the Equality Between Terms (UN), pp. 162–176.

CSL-1993-Raffalli #data type #infinity #similarity

Data Types, Infinity and Equality in System AF2 (CR), pp. 280–294.

ICALP-1992-Krob #decidability #multi #problem #similarity

The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable (DK), pp. 101–112.

LFP-1992-KaserPRRS #experience #implementation #lazy evaluation #parallel #performance

Fast Parallel Implementation of Lazy Languages — The EQUALS Experience (OK, SP, CRR, IVR, RCS), pp. 335–344.

CADE-1992-AlexanderP #proving #similarity #theorem

Proving Equality Theorems with Hyper-Linking (GDA, DAP), pp. 706–710.

CADE-1992-BeckertH #semantics #similarity

An Improved Method for Adding Equality to Free Variable Semantic Tableaux (BB, RH), pp. 507–521.

CADE-1992-LuskW #benchmark #metric #problem #similarity

Benchmark Problems in Which Equality Plays the Major Role (ELL, LW), pp. 781–785.

ICLP-1991-BachmairG #logic programming #semantics #similarity #source code

Perfect Model Semantics for Logic Programs with Equality (LB, HG), pp. 645–659.

LICS-1991-PacholskiS #higher-order #on the #similarity

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality (LP, WS), pp. 280–285.

STOC-1990-SundarT #sequence #set

Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (RS, RET), pp. 18–25.

ICALP-1990-Riecke #call-by #decidability #proving

A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report) (JGR), pp. 20–31.

PLILP-1990-Hanus #compilation #logic programming #similarity #source code

Compiling Logic Programs with Equality (MH), pp. 387–400.

CADE-1990-Basin #commutative #morphism #similarity

Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete (DAB), pp. 251–260.

CADE-1990-OzturkH #axiom #similarity

Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.

KR-1989-Stabler #information management #reasoning #representation #similarity

Syntactic Equality in Knowledge Representation and Reasoning (EPSJ), pp. 459–466.

LICS-1989-Howe #lazy evaluation #similarity

Equality In Lazy Computation Systems (DJH), pp. 198–203.

ALP-1988-JouannaudKKM #named #programming

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (JPJ, CK, HK, AM), pp. 41–52.

POPL-1988-AlpernWZ #detection #similarity #source code

Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.

CADE-1988-McCune #challenge #problem #similarity

Challenge Equality Problems in Lattice Theory (WM), pp. 704–709.

CADE-1988-WosM #automation #challenge #combinator #logic #problem #similarity #source code

Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs (LW, WM), pp. 714–729.

CADE-1986-Wang #named #proving #similarity

ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.

SLP-1986-GallierR86 #horn clause #similarity

SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.

SLP-1986-HoddinottE86 #axiom #named #prolog #similarity

PROLOG: Subsumption of Equality Axioms by the Homogeneous Form (PH, EWE), pp. 115–126.

ILPC-1984-GoguenM84 #logic programming #similarity

Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.

ICALP-1983-EdelsbrunnerW #on the #set

On the Number of Equal-Sized Semispaces of a Set of Points in the Plane (Extended Abstract) (HE, EW), pp. 182–187.

ICALP-1979-BookB #complexity #representation #set #similarity

Representing Complexity Classes by Equality Sets (Preliminary Report) (RVB, FJB), pp. 49–57.

ICALP-1979-CoppoDS #functional #semantics #λ-calculus

Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.

POPL-1978-DowneySS #algorithm #online

Off-Line and On-Line Algorithms for Deducing Equalities (PJD, HS, RS), pp. 158–170.

STOC-1972-ChandraM #similarity

Program Schemas with Equality (AKC, ZM), pp. 52–64.

STOC-1972-JonesS #first-order #similarity #turing machine

Turing Machines and the Spectra of First-Order Formulas with Equality (NDJ, ALS), pp. 157–167.