Stem equat$ (all stems)

418 papers:

ICALP-v2-2015-CiobanuDE #equation #set

Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.

ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability

Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.

LATA-2015-HadravovaH #equation #word

Equation xⁱyʲxᵏ=uⁱvʲuᵏ in Words (JH, SH), pp. 414–423.

ICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string

Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.

POPL-2015-Sangiorgi #equation

Equations, Contractions, and Unique Solutions (DS), pp. 421–432.

CADE-2015-EchenimPT #equation #generative #logic #quantifier

Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.

CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.

CAV-2015-ZouFZM #automation #difference #equation #safety #verification

Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.

RTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.

RTA-2015-KotsireasKS #design #equation #orthogonal #unification

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.

FoSSaCS-2014-RotB #algebra #equation #semantics

Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.

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

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

AFL-2014-MignotSZ14a #automaton #equation

$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions (LM, NOS, DZ), pp. 327–341.

CIAA-2014-EsparzaLS #equation #fixpoint #named

FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.

ICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion

Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.

ICALP-v2-2014-KozenM #algebra #equation

Kleene Algebra with Equations (DK, KM), pp. 280–292.

LATA-2014-MasseGHL #equation #morphism #word

Solving Equations on Words with Morphisms and Antimorphisms (ABM, SG, SH, ML), pp. 186–197.

ICML-c2-2014-BarberW #difference #equation #estimation #process

Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.

ICML-c2-2014-SatoN #analysis #approximate #equation #probability #process #using

Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.

POPL-2014-EisenbergVJW #equation #product line

Closed type families with overlapping equations (RAE, DV, SLPJ, SW), pp. 671–684.

IJCAR-2014-EchenimPT #equation #logic

A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.

ICDAR-2013-LiuS #detection #documentation #equation #image

A Simple Equation Region Detector for Printed Document Images in Tesseract (ZL, RS), pp. 245–249.

PLDI-2013-ApinisSV #equation #how

How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.

DLT-2013-Jez #equation #named #word

Recompression: Word Equations and Beyond (AJ), pp. 12–26.

ICALP-v2-2013-Jez #equation #linear #word

One-Variable Word Equations in Linear Time (AJ), pp. 324–335.

PADL-2013-BrasselHPR #constraints #equation #functional #implementation

Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.

SAC-2013-LaroucheMGH #equation #satisfiability #word

Solving equations on words through boolean satisfiability (ML, ABM, SG, SH), pp. 104–106.

CGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named

Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.

CSL-2013-WangB #decidability #equation #semantics #type system

Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.

LICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics #syntax

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.

ESOP-2012-KrishnaswamiB #equation #system f

Adding Equations to System F Types (NRK, NB), pp. 417–435.

TACAS-2012-LangM #equation #lts #model checking #network #using

Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems (FL, RM), pp. 141–156.

AFL-J-2011-Pin12 #equation

Equational Descriptions of Languages (JÉP), pp. 1227–1240.

ICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability #process

Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.

ICALP-v2-2012-Spielman #algorithm #equation #graph #linear

Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.

IFM-2012-NgoTGGB #compilation #equation #verification

Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.

GRAPHITE-2012-KantP #equation #game studies #performance

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.

CIKM-2012-KimYK #equation #query #retrieval #using #word

Mathematical equation retrieval using plain words as a query (SK, SY, YK), pp. 2407–2410.

ICPR-2012-AskKA #equation #performance #polynomial #symmetry

Exploiting p-fold symmetries for faster polynomial equation solving (EA, YK, KÅ), pp. 3232–3235.

PADL-2012-BromanN #equation #modelling #object-oriented #semantics

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.

SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.

CSL-2012-CarraroS #consistency #equation #formal method #modelling #on the #λ-calculus

On the equational consistency of order-theoretic models of the λ-calculus (AC, AS), pp. 152–166.

CSL-2012-DawarGHKP #equation #linear

Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.

CSL-2012-GroheO #equation #game studies #linear

Pebble Games and Linear Equations (MG, MO), pp. 289–304.

RTA-2012-SattlerB #equation #polymorphism

Turing-Completeness of Polymorphic Stream Equation Systems (CS, FB), pp. 256–271.

DAC-2011-ChaiJ #complexity #equation #linear #matrix

Direct matrix solution of linear complexity for surface integral-equation based impedance extraction of high bandwidth interconnects (WC, DJ), pp. 206–211.

TACAS-2011-WimmelW #equation #petri net

Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.

SCAM-2011-CooganD #assembly #equation #reasoning

Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.

STOC-2011-KhotM #approximate #equation #linear #np-hard

NP-hardness of approximately solving linear equations over reals (SK, DM), pp. 413–420.

DLT-J-2009-LaineP11 #equation #word

Word Equations with One Unknown (ML, WP), pp. 345–375.

DLT-J-2009-LehtinenO11 #equation #on the #set

On Equations over Sets of Numbers and their Limitations (TL, AO), pp. 377–393.

AFL-2011-Pin #equation

Equational descriptions of languages (JÉP), pp. 50–63.

ICFP-2011-GibbonsH #equation #monad #reasoning

Just do it: simple monadic equational reasoning (JG, RH), pp. 2–14.

CHI-2011-PfeiferB #equation #social

Is the media equation a flash in the pan?: the durability and longevity of social responses to computers (LMP, TWB), pp. 777–780.

ICEIS-v4-2011-QiWGS #equation

Exact Solutions for the Complex Ginzburg-Landau Equation (PQ, DW, CG, HS), pp. 675–677.

CAV-2011-JohnC #algorithm #composition #equation #linear #quantifier

A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.

WRLA-2010-DuranM #equation #maude #order #specification

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.

SAS-2010-NasreG #analysis #equation #linear #points-to

Points-to Analysis as a System of Linear Equations (RN, RG), pp. 422–438.

STOC-2010-BurgisserC #equation #polynomial #problem

Solving polynomial equations in smoothed polynomial time and a near solution to smale’s 17th problem (PB, FC), pp. 503–512.

DLT-2010-LehtinenO #equation #on the

On Language Equations XXK = XXL and XM = N over a Unary Alphabet (TL, AO), pp. 291–302.

LATA-2010-HemmerlingSK #difference #equation #network #process #programming language #specification

A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.

ICPR-2010-SeppkeDHW #equation #multi #parametricity #performance #using

Fast Derivation of Soil Surface Roughness Parameters Using Multi-band SAR Imagery and the Integral Equation Model (BS, LSDF, JAH, FW), pp. 3931–3934.

PPDP-2010-KameyamaT #axiom #call-by #equation

Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.

LCTES-2010-ShrivastavaLJ #embedded #equation #fault

Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.

CSL-2010-FioreH #equation #higher-order #logic

Second-Order Equational Logic (Extended Abstract) (MPF, CKH), pp. 320–335.

DAC-2009-AbercrombiePC #design #equation #simulation

Use of lithography simulation for the calibration of equation-based design rule checks (DA, FP, CC), pp. 67–70.

DAC-2009-ChaiJK #3d #complexity #equation #linear #scalability

A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction (WC, DJ, CKK), pp. 752–757.

DAC-2009-Li #equation #modelling #performance #scalability

Finding deterministic solution from underdetermined equation: large-scale performance modeling by least angle regression (XL0), pp. 364–369.

WRLA-2008-EscobarMS09 #equation #unification

Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.

WRLA-2008-HassN09 #abstraction #equation

Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.

WRLA-2008-LucasM09 #equation #order #source code #termination

Operational Termination of Membership Equational Programs: the Order-Sorted Way (SL, JM), pp. 207–225.

TACAS-2009-OrzanWW #equation #static analysis

Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.

DLT-2009-LaineP #equation #word

Word Equations with One Unknown (ML, WP), pp. 348–359.

DLT-2009-LehtinenO #equation #on the #set

On Equations over Sets of Numbers and Their Limitations (TL, AO), pp. 360–371.

DLT-2009-Saarela #complexity #equation #on the #satisfiability #theorem

On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (AS), pp. 443–453.

ICALP-v2-2009-BrancoP #equation #polynomial #regular expression

Equations Defining the Polynomial Closure of a Lattice of Regular Languages (MJJB, JÉP), pp. 115–126.

KDD-2009-HiroseYNF #detection #equation #network

Network anomaly detection based on Eigen equation compression (SH, KY, TN, RF), pp. 1185–1194.

SAC-2009-CipciganR #difference #equation #probability

Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.

CADE-2009-CiobacaDK #convergence #equation #protocol #security

Computing Knowledge in Security Protocols under Convergent Equational Theories (SC, SD, SK), pp. 355–370.

TLCA-2009-FioreH #deduction #equation #synthesis

Mathematical Synthesis of Equational Deduction Systems (MPF, CKH), pp. 1–2.

CASE-2008-MittalYBB #difference #equation #modelling #multi #performance #probability #using

Dynamics and performance modeling of multi-stage manufacturing systems using nonlinear stochastic differential equations (UM, HY, STSB, LGB), pp. 498–503.

CASE-2008-WangSF #automation #detection #difference #equation

Partial differential equation-based GPR signature discrimination for automatic detection of bridge deck delamination (ZWW, GGS, TF), pp. 431–435.

DAC-2008-HanSE #3d #equation #modelling

Electric field integral equation combined with cylindrical conduction mode basis functions for electrical modeling of three-dimensional interconnects (KJH, MS, EE), pp. 421–424.

DAC-2008-MoselhyD #equation #performance #probability

Stochastic integral equation solver for efficient variation-aware interconnect extraction (TM, LD), pp. 415–420.

DAC-2008-YeZP #analysis #equation #linear #multi

Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis (ZY, ZZ, JRP), pp. 682–687.

FoSSaCS-2008-Parys #commutative #equation #finite

Systems of Equations Satisfied in All Commutative Finite Semigroups (PP), pp. 261–272.

SAS-2008-SeidlFP #equation #polynomial

Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.

AFL-2008-BreveglieriCNR #equation #problem #satisfiability

NP-completeness of the alphabetical satisfiability problem for trace equations (LB, AC, CDN, ER), pp. 111–121.

CIAA-2008-El-FakihY #automaton #equation

Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.

ICALP-A-2008-EsparzaGKS #approximate #equation

Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations (JE, TG, SK, HS), pp. 698–710.

ICALP-B-2008-GehrkeGP #equation #regular expression

Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.

ICALP-B-2008-JezO #equation #on the #set

On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.

ICPR-2008-SukF #automation #equation #invariant

Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.

ICPR-2008-TaEL #difference #equation #graph

Nonlocal morphological levelings by partial difference equations over weighted graphs (VTT, AE, OL), pp. 1–4.

ICPR-2008-ZhengL #equation

The projective equation of a circle and its application in camera calibration (YZ, YL), pp. 1–4.

LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation

A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.

QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.

CAV-2008-JainCG #composition #equation #linear #performance

Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.

CAV-2008-KingS #congruence #equation #satisfiability #using

Inferring Congruence Equations Using SAT (AK, HS), pp. 281–293.

IJCAR-2008-TourEN #equation #unification

Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.

RTA-2008-HendrixO #automaton #equation

Combining Equational Tree Automata over AC and ACI Theories (JH, HO), pp. 142–156.

DAC-2007-SrivastavaR #equation

Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations (SS, JSR), pp. 136–141.

DATE-2007-Wong #equation #performance #symmetry #using

Fast positive-real balanced truncation of symmetric systems using cross Riccati equations (NW), pp. 1496–1501.

STOC-2007-KieferLE #convergence #equation #on the #polynomial

On the convergence of Newton’s method for monotone systems of polynomial equations (SK, ML, JE), pp. 217–226.

CIAA-J-2006-CzeizlerK07 #equation #independence #on the #word

On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.

DLT-2007-ChamparnaudOZ #equation #performance

An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.

DLT-2007-Kunc #equation #question #what

What Do We Know About Language Equations? (MK), pp. 23–27.

ICALP-2007-AtseriasBD07a #equation #logic

Affine Systems of Equations and Counting Infinitary Logic (AA, AAB, AD), pp. 558–570.

ICALP-2007-FioreH #equation

Equational Systems and Free Constructions (Extended Abstract) (MPF, CKH), pp. 607–618.

LATA-2007-Diekert #equation #graph #named #word

Equations: From Words to Graph Products (VD), pp. 1–6.

DHM-2007-QiaoYY #equation #predict

The Application of Kane Equation in the Impact Prediction of Human Motion (MQ, CY, XY), pp. 179–188.

QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming

Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.

SAC-2007-FeydyS #equation #integer #linear

Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.

TLCA-2007-DavidN #calculus #equation #normalisation #proving #recursion

An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.

CASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using

Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.

CASE-2006-ShangYQ #algorithm #equation #linear

Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.

DATE-2006-CherrounDF #constraints #equation #scheduling #using

Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.

FoSSaCS-2006-BonsangueK #equation

Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.

STOC-2006-Plandowski #algorithm #equation #performance #word

An efficient algorithm for solving word equations (WP), pp. 467–476.

DLT-2006-OkhotinY #equation

Language Equations with Complementation (AO, OY), pp. 420–432.

ICALP-v2-2006-AcetoFIL #communication #equation #finite

A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.

ICEIS-AIDSS-2006-KafkasBY #algebra #equation #implementation

Implementation Strategies for “Equation Guru” — A User Friendly Intelligent Algebra Tutor (SK, ZB, HY), pp. 58–65.

ICEIS-J-2006-Ifinedo06a #approach #enterprise #equation #modelling #resource management

Measuring Enterprise Resource Planning (ERP) Systems Success: A Structural Equation Modeling Approach (PI), pp. 86–97.

ICPR-v2-2006-WangH #equation #probability #using

Probabilistic Relaxation using the Heat Equation (HW, ERH), pp. 666–669.

ICPR-v3-2006-ChenY06a #adaptation #equation #image

A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.

GPCE-2006-BromanNF #constraints #equation #using

Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.

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

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

RTA-2006-Aoto #equation #induction

Dealing with Non-orientable Equations in Rewriting Induction (TA), pp. 242–256.

RTA-2006-Hoffman #equation #monad

Unions of Equational Monadic Theories (PH), pp. 81–95.

RTA-2006-Salvati #equation #linear #type system #λ-calculus

Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.

DATE-2005-MishchenkoBJVY #equation #performance #using

Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.

ICALP-2005-BaudetCK #equation #implementation

Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.

ICALP-2005-Kayal #equation #finite #polynomial

Solvability of a System of Bivariate Polynomial Equations over a Finite Field (NK), pp. 551–562.

IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.

CHI-2005-ChiassonG #equation #testing

Testing the media equation with children (SC, CG), pp. 829–838.

CIKM-2005-PuM #equation #functional #query #specification

Typed functional query languages with equational specifications (KQP, AOM), pp. 233–234.

GPCE-2005-Mogensen #equation

Semi-inversion of Guarded Equations (TÆM), pp. 189–204.

CADE-2005-VermaSS #complexity #equation #horn clause #on the

On the Complexity of Equational Horn Clauses (KNV, HS, TS), pp. 337–352.

RTA-2005-Hoffman #algebra #approach #equation

Union of Equational Theories: An Algebraic Approach (PH), pp. 61–73.

RTA-2005-LafourcadeLT #deduction #equation #morphism

Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.

RTA-2005-LynchM #equation #performance

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.

TACAS-2004-GrooteK #equation #fixpoint

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.

PEPM-2004-DuranLMMU #equation #proving #source code #termination

Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.

STOC-2004-HolmerinK #equation #linear #verification

A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.

ICALP-2004-AbadiC #equation #protocol #security

Deciding Knowledge in Security Protocols Under Equational Theories (MA, VC), pp. 46–58.

ICALP-2004-DabrowskiP #equation #word

Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.

ICPR-v4-2004-CongEPB #equation #morphism #using

Shape Metamorphism using p-Laplacian Equation (GC, ME, BP, GB), pp. 15–18.

CSL-2004-GanzingerK #equation #proving #reasoning #theorem proving

Integrating Equational Reasoning into Instantiation-Based Theorem Proving (HG, KK), pp. 71–84.

IJCAR-2004-TourE #equation

Overlapping Leaf Permutative Equations (TBdlT, ME), pp. 430–444.

VMCAI-2004-Etessami #analysis #data flow #equation #game studies #graph #recursion #using

Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.

DATE-2003-FreitasO #equation #estimation

Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation (ATF, ALO), pp. 10764–10769.

DATE-2003-YevtushenkoVBPS #equation

Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.

TACAS-2003-Mateescu #equation #on the fly

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.

CIAA-2003-XieLD #complexity #equation #linear #problem #using

New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.

ICALP-2003-Okhotin #equation #problem

Decision Problems for Language Equations with Boolean Operations (AO), pp. 239–251.

ICALP-2003-XieDI #equation #infinity #polynomial #verification

A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems (GX, ZD, OHI), pp. 668–680.

FME-2003-RosuELM #equation #proving

Certifying and Synthesizing Membership Equational Proofs (GR, SE, PL, JM), pp. 359–380.

IFL-2003-Choppella #equation #polymorphism #re-engineering #using

Polymorphic Type Reconstruction Using Type Equations (VC), pp. 53–68.

IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.

ICML-2003-Graepel #difference #equation #linear #process

Solving Noisy Linear Operator Equations by Gaussian Processes: Application to Ordinary and Partial Differential Equations (TG), pp. 234–241.

CADE-2003-DeplagneKKN #equation #induction #proving #theorem

Proof Search and Proof Check for Equational and Inductive Theorems (ED, CK, HK, QHN), pp. 297–316.

CADE-2003-GieslK #equation #induction

Deciding Inductive Validity of Equations (JG, DK), pp. 17–31.

CADE-2003-MeseguerPM #abstraction #equation

Equational Abstractions (JM, MP, NMO), pp. 2–16.

ICLP-2003-Smaus #equation #first-order #question #semantics

Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.

RTA-2003-Kutsia #equation #proving

Equational Prover of THEOREMA (TK), pp. 367–379.

RTA-2003-Verma #automaton #decidability #equation

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.

WRLA-J-1996-Viry02 #equation #logic

Equational rules for rewriting logic (PV), pp. 487–517.

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.

PASTE-2002-Fiskio-LasseterY #equation #graph #programming

Flow equations as a generic programming tool for manipulation of attributed graphs (JHEFL, MY), pp. 69–76.

SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.

STOC-2002-Hallgren #algorithm #equation #polynomial #problem #quantum

Polynomial-time quantum algorithms for Pell’s equation and the principal ideal problem (SH), pp. 653–658.

CIAA-2002-Polak #equation

Syntactic Semiring and Language Equations (LP), pp. 182–193.

DLT-2002-DiekertK #equation #polynomial

A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.

ICALP-2002-EngebretsenHR #equation #finite

Inapproximability Results for Equations over Finite Groups (LE, JH, AR), pp. 73–84.

ICPR-v2-2002-ChengWHT #approach #equation #self

A New Approach to Solving Kruppa Equations for Camera Self-Calibration (LC, FW, ZH, HTT), pp. 308–311.

PADL-2002-BunusF #debugging #declarative #equation #modelling

A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.

CADE-2002-GramlichP #algorithm #aspect-oriented #equation #modelling

Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations (BG, RP), pp. 241–259.

RTA-2002-OhsakiT #decidability #equation

Decidability and Closure Properties of Equational Tree Languages (HO, TT), pp. 114–128.

FoSSaCS-2001-Coppo #equation #recursion #type inference

Type Inference with Recursive Type Equations (MC), pp. 184–198.

CIAA-2001-BoigelotL #equation

Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.

DLT-2001-Esik #equation #fixpoint

The Equational Theory of Fixed Points with Applications to Generalized Language Theory (ZÉ), pp. 21–36.

ICALP-2001-DiekertM #commutative #decidability #equation

Solvability of Equations in Free Partially Commutative Groups Is Decidable (VD, AM), pp. 543–554.

CSL-2001-Ohsaki #automaton #commutative #equation

Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories (HO), pp. 539–553.

CSL-2001-Rosu #category theory #deduction #equation

Complete Categorical Equational Deduction (GR), pp. 528–538.

ICLP-2001-KumarRS #equation #fixpoint #modelling

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.

IJCAR-2001-FormisanoOT #equation

Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.

IJCAR-2001-LynchM #complexity #decidability #equation #linear

Decidability and Complexity of Finitely Closable Linear Equational Theories (CL, BM), pp. 499–513.

RTA-2001-GieslK #dependence #equation

Dependency Pairs for Equational Rewriting (JG, DK), pp. 93–108.

RTA-2001-LevyV #equation #traversal #unification

Context Unification and Traversal Equations (JL, MV), pp. 169–184.

ESOP-2000-WellsV #equation #reasoning

Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.

TACAS-2000-Mateescu #equation #generative #performance

Efficient Diagnostic Generation for Boolean Equation Systems (RM), pp. 251–265.

STOC-2000-Gutierrez #equation #satisfiability

Satisfiability of equations in free groups is in PSPACE (CG), pp. 21–27.

ICALP-2000-FokkinkL #equation #specification

An ω-Complete Equational Specification of Interleaving (WF, SPL), pp. 729–743.

ICALP-2000-Pichler #equation

Negation Elimination from Simple Equational Formulae (RP), pp. 612–623.

ICML-2000-TodorovskiDSWG #behaviour #difference #equation

Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.

ICML-2000-WashioMN #equation

Enhancing the Plausibility of Law Equation Discovery (TW, HM, YN), pp. 1127–1134.

ICPR-v3-2000-BaumelaARB #difference #equation #estimation #using

Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.

SAC-2000-Reich #algorithm #difference #equation #simulation #using

Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.

SAC-2000-Shaw #algorithm #equation #parallel

A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.

CL-2000-StorrT #calculus #equation

A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.

CSL-2000-OhsakiMG #equation #semantics #termination

Equational Termination by Semantic Labelling (HO, AM, JG), pp. 457–471.

DAC-1999-LiWW #approach #equation #generative #modelling #performance

An Efficient Lyapunov Equation-Based Approach for Generating Reduced-Order Models of Interconnect (JRL, FW, JW), pp. 1–6.

DAC-1999-Sheehan #equation #named #order #performance #reduction #using

ENOR: Model Order Reduction of RLC Circuits Using Nodal Equations for Efficient Factorization (BNS), pp. 17–21.

DAC-1999-ShenABHKGCH #functional #verification

Functional Verification of the Equator MAP1000 Microprocessor (JS, JAA, DB, TH, MK, GG, CcC, GH), pp. 169–174.

FoSSaCS-1999-GordonC #equation #mobile

Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.

SAS-1999-CorrensonDPR #equation #semantics

Equational Semantics (LC, ÉD, DP, GR), pp. 264–283.

STOC-1999-Plandowski #equation #satisfiability #word

Satisfiability of Word Equations with Constants is in NEXPTIME (WP), pp. 721–725.

CADE-1999-Pichler #equation #problem

Solving Equational Problems Efficiently (RP), pp. 97–111.

CADE-1999-Schmidt-SchaussS #decidability #equation

Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.

RTA-1999-BaaderT #equation #problem #word

Deciding the Word Problem in the Union of Equational Theories Sharing Constructors (FB, CT), pp. 175–189.

RTA-1999-KepserR #algorithm #equation #named #unification

UNIMOK: A System for Combining Equational Unification Algorithm (SK, JR), pp. 248–251.

TLCA-1999-Statman #consistency #equation #theorem

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

ASE-1998-MonroyBG #equation #verification

Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.

DAC-1998-ChouW #equation #multi #parametricity

Multilevel Integral Equation Methods for the Extraction of Substrate Coupling Parameters in Mixed-Signal IC’s (MC, JW), pp. 20–25.

FoSSaCS-1998-AcetoFI #axiom #equation

A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.

WRLA-1998-Jouannaud #calculus #equation #induction #logic

Membership equational logic, calculus of inductive instructions, and rewrite logic (JPJ), pp. 388–393.

WRLA-1998-Viry #calculus #equation

Adventures in sequent calculus modulo equations (PV), pp. 21–32.

STOC-1998-MourrainP #equation #multi #polynomial

Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations (BM, VYP), pp. 488–496.

FLOPS-1998-Nedjah #equation #source code

Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.

FLOPS-1998-Tsukada #equation #reasoning

Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.

ICALP-1998-PlandowskiR #encoding #equation #word

Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.

CADE-1998-BoudetC #confluence #equation #term rewriting

About the Confluence of Equational Pattern Rewrite Systems (AB, EC), pp. 88–102.

CADE-1998-Peltier #constraints #equation

System Description: An Equational Constraints Solver (NP), pp. 119–123.

RTA-1998-JacquemardMW #equation #unification

Unification in Extension of Shallow Equational Theories (FJ, CM, CW), pp. 76–90.

RTA-1998-Schmidt-SchaussS #equation #on the

On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.

PEPM-1997-DanvyS #equation #named #recursion #source code #λ-calculus

λ-Dropping: Transforming Recursive Equations into Programs with Block Structure (OD, UPS), pp. 90–106.

STOC-1997-Pan #equation #performance

Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.

DLT-1997-MantaciR #equation

Tree Codes and Equations (SM, AR), pp. 119–133.

ICALP-1997-DiekertMM #equation #normalisation #using

Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.

ICALP-1997-KarhumakiPM #equation #word

The Expressibility of Languages and Relations by Word Equations (JK, WP, FM), pp. 98–109.

ICALP-1997-SchwiegelshohnT #equation

Periodic and Non-periodic Min-Max Equations (US, LT), pp. 379–389.

ICML-1997-TodorovskiD #bias #declarative #equation

Declarative Bias in Equation Discovery (LT, SD), pp. 376–384.

KDD-1997-Zytkow #concept #equation

Knowledge = Concepts: A Harmful Equation (JMZ), pp. 104–109.

ALP-1997-KirchnerR #equation #higher-order #unification

Higher-Order Equational Unification via Explicit Substitutions (CK, CR), pp. 61–75.

SAC-1997-ChungLLD #equation #using

Effect of data distribution in data assimilation using Burgers’ equation (WC, JML, SL, SKD), pp. 521–526.

CSL-1997-Hollenberg #algebra #axiom #equation

Equational Axioms of Test Algebra (MH), pp. 295–310.

RTA-1997-KuhlerW #data type #equation #induction #proving #specification #theorem proving

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving (UK, CPW), pp. 38–52.

RTA-1997-TomasF #equation #geometry #linear #using

Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.

TLCA-1997-Stark #equation

Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.

DAC-1996-BorchersHB #behaviour #equation #generative

Equation-Based Behavioral Model Generation for Nonlinear Analog Circuits (CB, LH, EB), pp. 236–239.

DAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using

Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.

KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.

RWLW-1996-Eker #equation #performance

Fast matching in combinations of regular equational theories (SE), pp. 90–109.

SAS-1996-FechtS #equation #performance

An Even Faster Solver for General Systems of Equations (CF, HS), pp. 189–204.

STOC-1996-AllenderBO #complexity #equation #linear #matrix #rank

The Complexity of Matrix Rank and Feasible Systems of Linear Equations (Extended Abstract) (EA, RB, MO), pp. 161–167.

OOPSLA-1996-NishimuraOT #equation #object-oriented #query

An Equational Object-Oriented Data Model and its Data-Parallel Query Language (SN, AO, KT), pp. 1–17.

CAV-1996-Greenstreet #difference #equation #safety #verification

Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.

LICS-1996-BhatC #calculus #equation #model checking #performance #μ-calculus

Efficient Model Checking via the Equational μ-Calculus (GB, RC), pp. 304–312.

LICS-1996-Narendran #equation #linear #polynomial

Solving Linear Equations over Polynomial Semirings (PN), pp. 466–472.

RTA-1996-Ferreira #equation

Dummy Elimination in Equational Rewriting (MCFF), pp. 78–92.

RTA-1996-WaltersK #automaton #equation #named

EPIC: An Equational Language -Abstract Machine Supporting Tools- (HRW, JFTK), pp. 424–427.

ICALP-1995-BestK #equation #recursion

Solving Recursive Net Equations (EB, MK), pp. 605–623.

ICALP-1995-EsikB #axiom #equation

Nonfinite Axiomatizability of the Equational Theory of Shuffle (ZÉ, MB), pp. 27–38.

ICALP-1995-HarjuKP #equation

Compactness of Systems of Equations in Semigroups (TH, JK, WP), pp. 444–454.

CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.

ICLP-1995-BurgSTY #constraints #equation #linear #logic programming

Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.

ICLP-1995-ChengPE #equation #implementation #logic programming #source code

A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.

ICLP-1995-Hanus #equation #logic programming #on the

On Extra Variables in (Equational) Logic Programming (MH), pp. 665–679.

ICLP-1995-MulkersSJB #equation #on the

On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.

RTA-1995-AbdulrabM #equation #linear

General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.

RTA-1995-AvenhausDF #deduction #distributed #equation #named

DISCOUNT: A SYstem for Distributed Equational Deduction (JA, JD, MF), pp. 397–402.

RTA-1995-ChazarainM #automation #equation #named #recursion #source code #synthesis

LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories (JC, SM), pp. 420–425.

RTA-1995-Holmes #equation #proving #recursion #theorem

Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 (MRH), pp. 432–437.

RTA-1995-OttoND #equation #independence #unification

Some Independent Results for Equational Unification (FO, PN, DJD), pp. 367–381.

TLCA-1995-Padovani #equation #equivalence #on the

On Equivalence Classes of Interpolation Equations (VP), pp. 335–349.

DAC-1994-KahngM #analysis #equation #using

Delay Analysis of VLSI Interconnections Using the Diffusion Equation Model (ABK, SM), pp. 563–569.

STOC-1994-JacquetS #algorithm #analysis #equation #functional

A functional equation often arising in the analysis of algorithms (extended abstract) (PJ, WS), pp. 780–789.

ICALP-1994-HintermeierKK #dynamic typing #equation #order

Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.

ICALP-1994-Seidl #equation

Least Solutions of Equations over N (HS), pp. 400–411.

ICALP-1994-VergauwenL #correctness #equation #performance

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems (BV, JL), pp. 304–315.

LFP-1994-StefanescuZ #analysis #equation #framework #functional #higher-order #source code

An Equational Framework for the Flow Analysis of Higher Order Functional Programs (DCS, YZ), pp. 318–327.

ALP-1994-AlpuenteFV #analysis #composition #equation #source code

Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.

ALP-1994-Balbiani #equation

Equation Solving in Projective Planes and Planar Ternary Rings (PB), pp. 95–113.

POPL-1994-Qian #equation #higher-order #logic programming

Higher-Order Equational Logic Programming (ZQ), pp. 254–267.

HPDC-1994-HuiCYHA #difference #equation #network

Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.

CADE-1994-DomenjoudKR #equation

Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.

CADE-1994-HermannK #complexity #equation #problem

The Complexity of Counting Problems in Equational Matching (MH, PGK), pp. 560–574.

CADE-1994-WirthG #equation #induction #on the

On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.

ICLP-1994-Thielscher #equation #logic programming #representation

Representing Actions in Equational Logic Programming (MT), pp. 207–224.

ISSTA-1994-Kapur #automation #equation #specification

An Automated Tool for Analyzing Completeness of Equational Specifications (DK), pp. 28–43.

LICS-1994-Sewell #axiom #bisimulation #equation #first-order

Bisimulation is Not Finitely (First Order) Equationally Axiomatisable (PS), pp. 62–70.

DLT-1993-Cazanescu #equation #logic

Local Equational Logic II (VEC), pp. 210–221.

PLILP-1993-AlpuenteFRV #approximate #equation #logic programming #optimisation #source code

Narrowing Approximations as an Optimization for Equational Logic Programs (MA, MF, MJR, GV), pp. 391–409.

SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction

On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.

PPoPP-1993-GrunwaldS #data flow #equation #parallel #source code

Data Flow Equations for Explicitly Parallel Programs (DG, HS), pp. 159–168.

PPoPP-1993-RaoW #equation

An Equational Language for Data-Parallelism (PR, CW), pp. 112–118.

ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo

Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.

ILPS-1993-Ait-Kaci #equation #inheritance #logic #programming

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.

ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental

Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.

ILPS-1993-MoraPRF #equation #prototype #type system

A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.

RTA-1993-AvenhausD #equation #proving #theorem proving

Distributing Equational Theorem Proving (JA, JD), pp. 62–76.

RTA-1993-Matthews #equation #ml #named #reasoning #standard

MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.

RTA-1993-NiehrenPT #constraints #equation #finite

Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.

RTA-1993-Tajine #decidability #equation

The Negation Elimination from Syntactic Equational Formula is Decidable (MT), pp. 316–327.

RTA-1993-Verma #equation #named

Smaran: A Congruence-Closure Based System for Equational Computations (RMV), pp. 457–461.

DAC-1992-DamianiM #equation #logic #optimisation

Recurrence Equations and the Optimization of Synchronous Logic Circuits (MD, GDM), pp. 556–561.

DAC-1992-HamadaCC #equation #estimation

A Wire Length Estimation Technique Utilizing Neighborhood Density Equations (TH, CKC, PMC), pp. 57–61.

PEPM-1992-ShermanS #equation #logic programming #source code

Call Unfolding Strategies for Equational Logic Programs (DS, RS), pp. 48–53.

PLDI-1992-Maslov #dependence #equation #multi #named #performance

Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.

STOC-1992-Barvinok #equation #polynomial #testing

Feasibility Testing for Systems of Real Quadratic Equations (AIB), pp. 126–132.

SEKE-1992-SotiropoulouP #case study #difference #equation #information management

A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE’s) (VVS, TSP), pp. 261–268.

ALP-1992-BoudetC #equation #on the

On n-Syntactic Equational Theories (AB, EC), pp. 446–457.

ALP-1992-EhrigP #algebra #equation #specification

High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.

PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism

Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.

PLILP-1992-Hamel #equation #logic programming #named

UCG-E: An Equational Logic Programming System (LHH), pp. 473–474.

CADE-1992-BaaderS #equation #unification

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (FB, KUS), pp. 50–65.

CADE-1992-SekarR #equation #evaluation #framework #lazy evaluation #parallel #programming

Programming with Equations: A Framework for Lazy Parallel Evaluation (RCS, IVR), pp. 618–632.

JICSLP-1992-GrosseHSST #equation #logic programming

Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.

LICS-1992-AcetoBV #equation

Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.

LICS-1992-ComonHJ #decidability #equation #problem

Decidable Problems in Shallow Equational Theories (Extended Abstract) (HC, MH, JPJ), pp. 255–265.

DAC-1991-ShihK #approach #equation #named #performance #using

ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.

ESOP-J-1990-Bondorf91 #automation #equation #higher-order #recursion

Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 3–34.

PEPM-1991-Muller #equation #logic #named #semantics

M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract) (RM), pp. 234–242.

PEPM-1991-ShermanSD #equation #optimisation #partial evaluation #source code #using

Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.

STOC-1991-Ko #equation #polynomial

Integral Equations, Systems of Quadratic Equations, and Exponential-Time Completeness (Extended Abstract) (KIK), pp. 10–20.

WSA-1991-DurandSS #equation #partial evaluation #source code

Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.

WSA-1991-EchahedJPS #case study #comparative #equation #program transformation

Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.

WSA-1991-Sun #equation #logic

Equational Logics (YS), pp. 44–52.

ML-1991-RaoLS #equation #knowledge-based

Knowledge-Based Equation Discovery in Engineering Domains (RBR, SCYL, RES), pp. 630–634.

OOPSLA-1991-Wilk #constraints #named #object-oriented #theorem proving

Equate: An Object-Oriented Constraint Solver (MRW), pp. 286–298.

PLILP-1991-Naish #equation #prolog

Adding equations to NU-Prolog (LN), pp. 15–26.

CSL-1991-Meinke #combinator #data type #equation #specification

Equational Specification of Abstract Types and Combinators (KM), pp. 257–271.

LICS-1991-Tronci #equation #λ-calculus

Equational Prgoramming in λ-calculus (ET), pp. 191–202.

RTA-1991-Avenhaus #equation #induction #proving #theorem

Proving Equational and Inductive Theorems by Completion and Embedding Techniques (JA), pp. 361–373.

RTA-1991-BaaderN #algebra #commutative #equation #how #morphism #unification

Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification (FB, WN), pp. 124–135.

RTA-1991-Deruyver #equation #first-order #logic #named #proving #theorem proving

EMMY: A Refutational Theorem Prover for First-Order Logic with Equation (AD), pp. 439–441.

RTA-1991-Wolfram #equation #higher-order #unification

Rewriting, and Equational Unification: the Higher-Order Cases (DAW), pp. 25–36.

ESOP-1990-Bondorf #automation #equation #higher-order #recursion

Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 70–87.

ICALP-1990-Comon #algebra #equation #order

Equational Formulas in Order-Sorted Algebras (HC), pp. 674–688.

GG-1990-Bauderon #equation #recursion

General Solution to a System of Recursive Equations (MB), pp. 113–126.

ALP-1990-DebartEL #equation #logic programming #multi #order #using

Multi-Modal Logic Programming using Equational and Order-Sorted Logic (FD, PE, ML), pp. 55–69.

ALP-1990-DershowitzMS #equation

Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.

ALP-1990-Hanus #equation #logic programming #source code #specification

Logic Programs with Equational Type Specifications (Extended Abstract) (MH), pp. 70–85.

CADE-1990-Boudet #algorithm #equation #performance #unification

Unification in a Combination of Equational Theories: an Efficient Algorithm (AB), pp. 292–307.

CADE-1990-BrownA90a #algebra #equation

Cylindric Algebra Equation Solver (FMB, CA), pp. 645–646.

CADE-1990-Kirchner #equation #tutorial #unification

Tutorial on Equational Unification (CK), p. 682.

CADE-1990-NarendranO #equation #unification

Some Results on Equational Unification (PN, FO), pp. 276–291.

CADE-1990-Rittri #equation #identifier #library

Retrieving Library Identifiers via Equational Matching of Types (MR), pp. 603–617.

LICS-1990-BoudetCD #algorithm #equation #unification

A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations (AB, EC, HD), pp. 289–299.

LICS-1990-LarsenX #equation #using

Equation Solving Using Modal Transition Systems (KGL, LX), pp. 108–117.

LICS-1990-Nipkow #equation #proving

Proof Transformations for Equational Theories (TN), pp. 278–288.

LICS-1990-SekarR #equation #logic #programming

Programming in Equational Logic: Beyond Strong Sequentiality (RCS, IVR), pp. 230–241.

DAC-1989-GoreR #array #automation #equation #logic #programmable #synthesis #using

Automatic Synthesis of Boolean Equations Using Programmable Array Logic (RG, KR), pp. 283–289.

ICALP-1989-Courcelle #equation #graph #higher-order #logic #monad

The Definability of Equational Graphs in Monadic Second-Order Logic (BC), pp. 207–221.

KR-1989-Sandewall #difference #equation #logic

Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.

NACLP-1989-JayaramanP #equation #programming #set

Programming with Equations, Subsets, and Relations (BJ, DAP), pp. 1051–1068.

RTA-1989-AbdulrabP #equation #linear #word

Solving Systems of Linear Diophantine Equations and Word Equations (HA, JPP), pp. 530–532.

RTA-1989-BonacinaS #equation #named #proving #theorem proving

KBlab: An Equational Theorem Prover for the Macintosh (MPB, GS), pp. 548–550.

RTA-1989-McNulty #equation #logic

An Equational Logic Sampler (GFM), pp. 234–262.

RTA-1989-Snyder #algorithm #equation #generative #performance #set

Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E (WS), pp. 419–433.

RTA-1989-Strandh #equation #performance #source code

Classes of Equational Programs that Compile into Efficient Machine Code (RS), pp. 449–461.

ESOP-1988-BertlingGS #equation #named #specification

CEC: A System for the Completion of Conditional Equational Specifications (HB, HG, RS), pp. 378–379.

ICALP-1988-You #equation

Outer Narrowing for Equational Theories Based on Constructors (JHY), pp. 727–741.

VDME-1988-Haxthausen #algebra #equation #recursion

Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.

ALP-1988-BeierleP #data type #equation #logic programming #specification

Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.

ALP-1988-Wolter #equation

Narrowing in Partial Conditional Equational Theories (Abstract) (UW), p. 244.

ALP-1988-You #equation

Solving Equations in an Equational Language (JHY), pp. 245–254.

CADE-1988-BlasiusS #equation #graph #reasoning #unification

Partial Unification for Graph Based Equational Reasoning (KHB, JHS), pp. 397–414.

CADE-1988-Burckert #equation

Solving Disequations in Equational Theories (HJB), pp. 517–526.

CADE-1988-GallierNPRS #canonical #equation #finite #polynomial #set #term rewriting

Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.

CADE-1988-Schmidt-Schauss #equation #unification

Unification in a Combination of Arbitrary Disjoint Equational Theories (MSS), pp. 378–396.

CADE-1988-ZhangKK #equation #induction #specification

A Mechanizable Induction Principle for Equational Specifications (HZ, DK, MSK), pp. 162–181.

JICSCP-1988-GallierI88 #equation #logic #order

Rewriting in Order-sorted Equational Logic (JHG, TI), pp. 280–294.

JICSCP-1988-Zachary88 #approach #equation #logic programming

A Pragmatic Approach to Equational Logic Programming (JLZ), pp. 295–310.

LICS-1988-Bachmair #consistency #equation #proving

Proof by Consistency in Equational Theories (LB), pp. 228–233.

VLDB-1987-CeriT #algebra #datalog #equation #optimisation #query

Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries (SC, LT), pp. 31–41.

ICALP-1987-HsiangR #equation #on the #problem #word

On Word Problems in Equational Theories (JH, MR), pp. 54–71.

LICS-1987-GallierRS #equation #proving #theorem proving #using

Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.

RTA-1987-BurckertHS #decidability #equation #on the #unification

On Equational Theories, Unification and Decidability (HJB, AH, MSS), pp. 204–215.

RTA-1987-ODonnell #equation #implementation #logic programming

Term-Rewriting Implementation of Equational Logic Programming (MJO), pp. 1–12.

RTA-1987-Strandh #equation #optimisation #source code

Optimizing Equational Programs (RS), pp. 13–24.

SLP-1987-Ait-KaciLN87 #equation #logic

Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.

SLP-1987-Holldobler87 #equation #logic programming

Equational Logic Programming (SH), pp. 335–346.

LFP-1986-JayaramanS #equation #functional #logic programming #reduction #semantics #set

Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.

LFP-1986-Thatte #equation #programming language #semantics #towards

Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.

GG-1986-HotzKM #algebra #equation #network #on the #recursion

On Network Algebras and Recursive Equations (GH, RK, PM), pp. 250–261.

POPL-1986-YouS #equation #logic programming

Equational Logic Programming: An Extension to Equational Programming (JHY, PAS), pp. 209–218.

CADE-1986-DickC #automation #empirical #equation #reasoning #using

Using Narrowing to do Isolation in Symbolic Equation Solving — An Experiment in Automated Reasoning (AJJD, JC), pp. 272–280.

CADE-1986-PoratF #equation #term rewriting

Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.

ICLP-1986-JaffarS86 #equation #logic programming #semantics

Logic Program Semantics for Programming with Equations (JJ, PJS), pp. 313–326.

LICS-1986-AmadioBL #equation #higher-order #λ-calculus

The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.

LICS-1986-BachmairDH #equation #order #proving

Orderings for Equational Proofs (LB, ND, JH), pp. 346–357.

LICS-1986-JouannaudK #automation #equation #induction #proving

Automatic Proofs by Induction in Equational Theories Without Constructors (JPJ, EK), pp. 358–366.

SLP-1986-MartelliMR86 #algorithm #equation #unification

An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.

STOC-1985-BruceL #equation #modelling #morphism

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.

STOC-1985-CosmadakisK #constraints #database #equation

Equational Theories and Database Constraints (SSC, PCK), pp. 273–284.

FPCA-1985-Johnsson85 #equation #recursion #source code

λ Lifting: Treansforming Programs to Recursive Equations (TJ), pp. 190–203.

RTA-1985-Ait-Kaci #equation #graph grammar

Solving Type Equations by Graph Rewriting (HAK), pp. 158–179.

RTA-1985-CosmadakisK #database #equation

Two Applications of Equational Theories to Database Theory (SSC, PCK), pp. 107–123.

RTA-1985-Yelick #algorithm #equation #unification

Combining Unification Algorithms for Confined Regular Equational Theories (KAY), pp. 365–380.

VLDB-1984-Morgenstern #automation #constraints #declarative #equation

Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.

STOC-1984-Kozen #equation #logic

Pebblings, Edgings, and Equational Logic (DK), pp. 428–435.

STOC-1984-OngSS #equation #performance #polynomial

An Efficient Signature Scheme Based on Quadratic Equations (HO, CPS, AS), pp. 208–216.

ICALP-1984-Bidoit #algebra #equation #exception #fault #specification

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.

ICALP-1984-Fribourg #equation #programming language

Oriented Equational Clauses as a Programming Language (LF), pp. 162–173.

POPL-1984-HoffmannO #equation #implementation #interpreter

Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.

POPL-1984-JouannaudK #equation #set

Completion of a Set of Rules Modulo a Set of Equations (JPJ, HK), pp. 83–92.

CADE-1984-JouannaudM #equation #set #termination

Termination of a Set of Rules Modulo a Set of Equations (JPJ, MM), pp. 175–193.

CADE-1984-Kirchner #algorithm #equation #unification

A New Equational Unification Method: A Generalization of Martelli-Montanari’s Algorithm (CK), pp. 224–247.

ILPC-1984-Pique84 #equation #prolog

Drawing Trees and their Equations in Prolog (JFP), pp. 23–33.

ICALP-1983-JouannaudKK #algorithm #equation #incremental #unification

Incremental Construction of Unification Algorithms in Equational Theories (JPJ, CK, HK), pp. 361–373.

POPL-1983-DemersD #equation

Making Variables Abstract: An Equational Theory for Russell (AJD, JED), pp. 59–72.

DAC-1982-LarsenLS #equation #logic

Aw expanded logic equation list for checkout (RPL, JAL, AKS), pp. 291–299.

ICSE-1982-LucasR #equation #evaluation #representation

Representation of Factual Information by Equations and Their Evaluation (PL, TR), pp. 367–376.

CADE-1982-SiekmannS #classification #equation #unification

Universal Unification and a Classification of Equational Theories (JHS, PS), pp. 369–389.

CADE-1982-Silver #equation

The Application of Homogenization to Simultaneous Equations (BS), pp. 132–143.

STOC-1981-ChandraHMP #equation #logic #process

Equations between Regular Terms and an Application to Process Logic (AKC, JYH, ARM, RP), pp. 384–390.

ICALP-1981-PnueliZ #equation #specification

Realizing an Equational Specification (AP, RZ), pp. 459–478.

ICALP-1980-BergstraT #data type #equation #finite #specification

A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.

ICALP-1979-DembinskiM #equation #two-level grammar

Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.

STOC-1977-ODonnell #combinator #equation #lisp #logic #recursion

Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.

ICALP-1974-BohmD #combinator #equation #normalisation #problem

Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.

ICALP-1972-Lentin #equation #monad

Equations in Free Monoids (AL), pp. 67–85.

DAC-1971-LarsenM #clustering #equation #layout #logic

Partitioning and ordering of logic equations for optimum MOS LSI device layout (RPL, LM), pp. 131–142.

STOC-1970-Strong #equation #recursion

Translating Recursion Equations into Flow Charts (HRSJ), pp. 184–197.

DAC-1969-RaderI #equation #logic

Aw expanded logic equation list for checkout (JAR, DAI), pp. 291–296.

DAC-1968-Rader #equation #logic #syntax

Application of a syntax driver to logic equation processing and data-control card scanning (JAR).

DAC-1967-Richards #automation #equation #logic #named #programming #simulation

SWAP — a programming system for automatic simulation, wiring and placement of logical equations (DLR).