## 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).