BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (59)
logic (54)
theori (52)
program (49)
use (33)

Stem equat$ (all stems)

418 papers:

ICALPICALP-v2-2015-CiobanuDE #equation #set
Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.
ICALPICALP-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.
LATALATA-2015-HadravovaH #equation #word
Equation xⁱyʲxᵏ=uⁱvʲuᵏ in Words (JH, SH), pp. 414–423.
ICGTICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string
Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.
POPLPOPL-2015-Sangiorgi #equation
Equations, Contractions, and Unique Solutions (DS), pp. 421–432.
CADECADE-2015-EchenimPT #equation #generative #logic #quantifier
Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
CAVCAV-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.
CAVCAV-2015-ZouFZM #automation #difference #equation #safety #verification
Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
RTARTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
RTARTA-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.
FoSSaCSFoSSaCS-2014-RotB #algebra #equation #semantics
Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.
SASSAS-2014-GhorbalSP #algebra #difference #equation #polynomial
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
AFLAFL-2014-MignotSZ14a #automaton #equation
$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions (LM, NOS, DZ), pp. 327–341.
CIAACIAA-2014-EsparzaLS #equation #fixpoint #named
FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.
ICALPICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.
ICALPICALP-v2-2014-KozenM #algebra #equation
Kleene Algebra with Equations (DK, KM), pp. 280–292.
LATALATA-2014-MasseGHL #equation #morphism #word
Solving Equations on Words with Morphisms and Antimorphisms (ABM, SG, SH, ML), pp. 186–197.
ICMLICML-c2-2014-BarberW #difference #equation #estimation #process
Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICMLICML-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.
POPLPOPL-2014-EisenbergVJW #equation #product line
Closed type families with overlapping equations (RAE, DV, SLPJ, SW), pp. 671–684.
IJCARIJCAR-2014-EchenimPT #equation #logic
A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
ICDARICDAR-2013-LiuS #detection #documentation #equation #image
A Simple Equation Region Detector for Printed Document Images in Tesseract (ZL, RS), pp. 245–249.
PLDIPLDI-2013-ApinisSV #equation #how
How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
DLTDLT-2013-Jez #equation #named #word
Recompression: Word Equations and Beyond (AJ), pp. 12–26.
ICALPICALP-v2-2013-Jez #equation #linear #word
One-Variable Word Equations in Linear Time (AJ), pp. 324–335.
PADLPADL-2013-BrasselHPR #constraints #equation #functional #implementation
Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
SACSAC-2013-LaroucheMGH #equation #satisfiability #word
Solving equations on words through boolean satisfiability (ML, ABM, SG, SH), pp. 104–106.
CGOCGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named
Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CSLCSL-2013-WangB #decidability #equation #semantics #type system
Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
LICSLICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics #syntax
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.
ESOPESOP-2012-KrishnaswamiB #equation #system f
Adding Equations to System F Types (NRK, NB), pp. 417–435.
TACASTACAS-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.
AFLAFL-J-2011-Pin12 #equation
Equational Descriptions of Languages (JÉP), pp. 1227–1240.
ICALPICALP-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.
ICALPICALP-v2-2012-Spielman #algorithm #equation #graph #linear
Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.
IFMIFM-2012-NgoTGGB #compilation #equation #verification
Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
GRAPHITEGRAPHITE-2012-KantP #equation #game studies #performance
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
CIKMCIKM-2012-KimYK #equation #query #retrieval #using #word
Mathematical equation retrieval using plain words as a query (SK, SY, YK), pp. 2407–2410.
ICPRICPR-2012-AskKA #equation #performance #polynomial #symmetry
Exploiting p-fold symmetries for faster polynomial equation solving (EA, YK, ), pp. 3232–3235.
PADLPADL-2012-BromanN #equation #modelling #object-oriented #semantics
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.
SACSAC-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.
CSLCSL-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.
CSLCSL-2012-DawarGHKP #equation #linear
Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
CSLCSL-2012-GroheO #equation #game studies #linear
Pebble Games and Linear Equations (MG, MO), pp. 289–304.
RTARTA-2012-SattlerB #equation #polymorphism
Turing-Completeness of Polymorphic Stream Equation Systems (CS, FB), pp. 256–271.
DACDAC-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.
TACASTACAS-2011-WimmelW #equation #petri net
Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
SCAMSCAM-2011-CooganD #assembly #equation #reasoning
Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.
STOCSTOC-2011-KhotM #approximate #equation #linear #np-hard
NP-hardness of approximately solving linear equations over reals (SK, DM), pp. 413–420.
DLTDLT-J-2009-LaineP11 #equation #word
Word Equations with One Unknown (ML, WP), pp. 345–375.
DLTDLT-J-2009-LehtinenO11 #equation #on the #set
On Equations over Sets of Numbers and their Limitations (TL, AO), pp. 377–393.
AFLAFL-2011-Pin #equation
Equational descriptions of languages (JÉP), pp. 50–63.
ICFPICFP-2011-GibbonsH #equation #monad #reasoning
Just do it: simple monadic equational reasoning (JG, RH), pp. 2–14.
CHICHI-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.
ICEISICEIS-v4-2011-QiWGS #equation
Exact Solutions for the Complex Ginzburg-Landau Equation (PQ, DW, CG, HS), pp. 675–677.
CAVCAV-2011-JohnC #algorithm #composition #equation #linear #quantifier
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.
WRLAWRLA-2010-DuranM #equation #maude #order #specification
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
SASSAS-2010-NasreG #analysis #equation #linear #points-to
Points-to Analysis as a System of Linear Equations (RN, RG), pp. 422–438.
STOCSTOC-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.
DLTDLT-2010-LehtinenO #equation #on the
On Language Equations XXK = XXL and XM = N over a Unary Alphabet (TL, AO), pp. 291–302.
LATALATA-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.
ICPRICPR-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.
PPDPPPDP-2010-KameyamaT #axiom #call-by #equation
Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.
LCTESLCTES-2010-ShrivastavaLJ #embedded #equation #fault
Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
CSLCSL-2010-FioreH #equation #higher-order #logic
Second-Order Equational Logic (Extended Abstract) (MPF, CKH), pp. 320–335.
DACDAC-2009-AbercrombiePC #design #equation #simulation
Use of lithography simulation for the calibration of equation-based design rule checks (DA, FP, CC), pp. 67–70.
DACDAC-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.
DACDAC-2009-Li #equation #modelling #performance #scalability
Finding deterministic solution from underdetermined equation: large-scale performance modeling by least angle regression (XL0), pp. 364–369.
WRLAWRLA-2008-EscobarMS09 #equation #unification
Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.
WRLAWRLA-2008-HassN09 #abstraction #equation
Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.
WRLAWRLA-2008-LucasM09 #equation #order #source code #termination
Operational Termination of Membership Equational Programs: the Order-Sorted Way (SL, JM), pp. 207–225.
TACASTACAS-2009-OrzanWW #equation #static analysis
Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
DLTDLT-2009-LaineP #equation #word
Word Equations with One Unknown (ML, WP), pp. 348–359.
DLTDLT-2009-LehtinenO #equation #on the #set
On Equations over Sets of Numbers and Their Limitations (TL, AO), pp. 360–371.
DLTDLT-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.
ICALPICALP-v2-2009-BrancoP #equation #polynomial #regular expression
Equations Defining the Polynomial Closure of a Lattice of Regular Languages (MJJB, JÉP), pp. 115–126.
KDDKDD-2009-HiroseYNF #detection #equation #network
Network anomaly detection based on Eigen equation compression (SH, KY, TN, RF), pp. 1185–1194.
SACSAC-2009-CipciganR #difference #equation #probability
Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
CADECADE-2009-CiobacaDK #convergence #equation #protocol #security
Computing Knowledge in Security Protocols under Convergent Equational Theories (SC, SD, SK), pp. 355–370.
TLCATLCA-2009-FioreH #deduction #equation #synthesis
Mathematical Synthesis of Equational Deduction Systems (MPF, CKH), pp. 1–2.
CASECASE-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.
CASECASE-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.
DACDAC-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.
DACDAC-2008-MoselhyD #equation #performance #probability
Stochastic integral equation solver for efficient variation-aware interconnect extraction (TM, LD), pp. 415–420.
DACDAC-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.
FoSSaCSFoSSaCS-2008-Parys #commutative #equation #finite
Systems of Equations Satisfied in All Commutative Finite Semigroups (PP), pp. 261–272.
SASSAS-2008-SeidlFP #equation #polynomial
Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.
AFLAFL-2008-BreveglieriCNR #equation #problem #satisfiability
NP-completeness of the alphabetical satisfiability problem for trace equations (LB, AC, CDN, ER), pp. 111–121.
CIAACIAA-2008-El-FakihY #automaton #equation
Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
ICALPICALP-A-2008-EsparzaGKS #approximate #equation
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations (JE, TG, SK, HS), pp. 698–710.
ICALPICALP-B-2008-GehrkeGP #equation #regular expression
Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.
ICALPICALP-B-2008-JezO #equation #on the #set
On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
ICPRICPR-2008-SukF #automation #equation #invariant
Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
ICPRICPR-2008-TaEL #difference #equation #graph
Nonlocal morphological levelings by partial difference equations over weighted graphs (VTT, AE, OL), pp. 1–4.
ICPRICPR-2008-ZhengL #equation
The projective equation of a circle and its application in camera calibration (YZ, YL), pp. 1–4.
LOPSTRLOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
QAPLQAPL-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.
CAVCAV-2008-JainCG #composition #equation #linear #performance
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
CAVCAV-2008-KingS #congruence #equation #satisfiability #using
Inferring Congruence Equations Using SAT (AK, HS), pp. 281–293.
IJCARIJCAR-2008-TourEN #equation #unification
Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.
RTARTA-2008-HendrixO #automaton #equation
Combining Equational Tree Automata over AC and ACI Theories (JH, HO), pp. 142–156.
DACDAC-2007-SrivastavaR #equation
Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations (SS, JSR), pp. 136–141.
DATEDATE-2007-Wong #equation #performance #symmetry #using
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations (NW), pp. 1496–1501.
STOCSTOC-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.
CIAACIAA-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.
DLTDLT-2007-ChamparnaudOZ #equation #performance
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.
DLTDLT-2007-Kunc #equation #question #what
What Do We Know About Language Equations? (MK), pp. 23–27.
ICALPICALP-2007-AtseriasBD07a #equation #logic
Affine Systems of Equations and Counting Infinitary Logic (AA, AAB, AD), pp. 558–570.
ICALPICALP-2007-FioreH #equation
Equational Systems and Free Constructions (Extended Abstract) (MPF, CKH), pp. 607–618.
LATALATA-2007-Diekert #equation #graph #named #word
Equations: From Words to Graph Products (VD), pp. 1–6.
HCIDHM-2007-QiaoYY #equation #predict
The Application of Kane Equation in the Impact Prediction of Human Motion (MQ, CY, XY), pp. 179–188.
QAPLQAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
SACSAC-2007-FeydyS #equation #integer #linear
Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.
TLCATLCA-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.
CASECASE-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.
CASECASE-2006-ShangYQ #algorithm #equation #linear
Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.
DATEDATE-2006-CherrounDF #constraints #equation #scheduling #using
Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.
FoSSaCSFoSSaCS-2006-BonsangueK #equation
Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.
STOCSTOC-2006-Plandowski #algorithm #equation #performance #word
An efficient algorithm for solving word equations (WP), pp. 467–476.
DLTDLT-2006-OkhotinY #equation
Language Equations with Complementation (AO, OY), pp. 420–432.
ICALPICALP-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.
ICEISICEIS-AIDSS-2006-KafkasBY #algebra #equation #implementation
Implementation Strategies for “Equation Guru” — A User Friendly Intelligent Algebra Tutor (SK, ZB, HY), pp. 58–65.
ICEISICEIS-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.
ICPRICPR-v2-2006-WangH #equation #probability #using
Probabilistic Relaxation using the Heat Equation (HW, ERH), pp. 666–669.
ICPRICPR-v3-2006-ChenY06a #adaptation #equation #image
A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.
GPCEGPCE-2006-BromanNF #constraints #equation #using
Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.
IJCARIJCAR-2006-JacquemardRV #automaton #constraints #equation #similarity
Tree Automata with Equality Constraints Modulo Equational Theories (FJ, MR, LV), pp. 557–571.
RTARTA-2006-Aoto #equation #induction
Dealing with Non-orientable Equations in Rewriting Induction (TA), pp. 242–256.
RTARTA-2006-Hoffman #equation #monad
Unions of Equational Monadic Theories (PH), pp. 81–95.
RTARTA-2006-Salvati #equation #linear #type system #λ-calculus
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.
DATEDATE-2005-MishchenkoBJVY #equation #performance #using
Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.
ICALPICALP-2005-BaudetCK #equation #implementation
Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.
ICALPICALP-2005-Kayal #equation #finite #polynomial
Solvability of a System of Bivariate Polynomial Equations over a Finite Field (NK), pp. 551–562.
IFLIFL-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.
CHICHI-2005-ChiassonG #equation #testing
Testing the media equation with children (SC, CG), pp. 829–838.
CIKMCIKM-2005-PuM #equation #functional #query #specification
Typed functional query languages with equational specifications (KQP, AOM), pp. 233–234.
GPCEGPCE-2005-Mogensen #equation
Semi-inversion of Guarded Equations (TÆM), pp. 189–204.
CADECADE-2005-VermaSS #complexity #equation #horn clause #on the
On the Complexity of Equational Horn Clauses (KNV, HS, TS), pp. 337–352.
RTARTA-2005-Hoffman #algebra #approach #equation
Union of Equational Theories: An Algebraic Approach (PH), pp. 61–73.
RTARTA-2005-LafourcadeLT #deduction #equation #morphism
Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.
RTARTA-2005-LynchM #equation #performance
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.
TACASTACAS-2004-GrooteK #equation #fixpoint
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.
PEPMPEPM-2004-DuranLMMU #equation #proving #source code #termination
Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.
STOCSTOC-2004-HolmerinK #equation #linear #verification
A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
ICALPICALP-2004-AbadiC #equation #protocol #security
Deciding Knowledge in Security Protocols Under Equational Theories (MA, VC), pp. 46–58.
ICALPICALP-2004-DabrowskiP #equation #word
Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.
ICPRICPR-v4-2004-CongEPB #equation #morphism #using
Shape Metamorphism using p-Laplacian Equation (GC, ME, BP, GB), pp. 15–18.
CSLCSL-2004-GanzingerK #equation #proving #reasoning #theorem proving
Integrating Equational Reasoning into Instantiation-Based Theorem Proving (HG, KK), pp. 71–84.
IJCARIJCAR-2004-TourE #equation
Overlapping Leaf Permutative Equations (TBdlT, ME), pp. 430–444.
VMCAIVMCAI-2004-Etessami #analysis #data flow #equation #game studies #graph #recursion #using
Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.
DATEDATE-2003-FreitasO #equation #estimation
Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation (ATF, ALO), pp. 10764–10769.
DATEDATE-2003-YevtushenkoVBPS #equation
Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.
TACASTACAS-2003-Mateescu #equation #on the fly
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.
CIAACIAA-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.
ICALPICALP-2003-Okhotin #equation #problem
Decision Problems for Language Equations with Boolean Operations (AO), pp. 239–251.
ICALPICALP-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.
FMFME-2003-RosuELM #equation #proving
Certifying and Synthesizing Membership Equational Proofs (GR, SE, PL, JM), pp. 359–380.
IFLIFL-2003-Choppella #equation #polymorphism #re-engineering #using
Polymorphic Type Reconstruction Using Type Equations (VC), pp. 53–68.
IFLIFL-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.
ICMLICML-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.
CADECADE-2003-DeplagneKKN #equation #induction #proving #theorem
Proof Search and Proof Check for Equational and Inductive Theorems (ED, CK, HK, QHN), pp. 297–316.
CADECADE-2003-GieslK #equation #induction
Deciding Inductive Validity of Equations (JG, DK), pp. 17–31.
CADECADE-2003-MeseguerPM #abstraction #equation
Equational Abstractions (JM, MP, NMO), pp. 2–16.
ICLPICLP-2003-Smaus #equation #first-order #question #semantics
Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.
RTARTA-2003-Kutsia #equation #proving
Equational Prover of THEOREMA (TK), pp. 367–379.
RTARTA-2003-Verma #automaton #decidability #equation
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.
WRLAWRLA-J-1996-Viry02 #equation #logic
Equational rules for rewriting logic (PV), pp. 487–517.
WRLAWRLA-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.
PASTEPASTE-2002-Fiskio-LasseterY #equation #graph #programming
Flow equations as a generic programming tool for manipulation of attributed graphs (JHEFL, MY), pp. 69–76.
SCAMSCAM-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.
STOCSTOC-2002-Hallgren #algorithm #equation #polynomial #problem #quantum
Polynomial-time quantum algorithms for Pell’s equation and the principal ideal problem (SH), pp. 653–658.
CIAACIAA-2002-Polak #equation
Syntactic Semiring and Language Equations (LP), pp. 182–193.
DLTDLT-2002-DiekertK #equation #polynomial
A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.
ICALPICALP-2002-EngebretsenHR #equation #finite
Inapproximability Results for Equations over Finite Groups (LE, JH, AR), pp. 73–84.
ICPRICPR-v2-2002-ChengWHT #approach #equation #self
A New Approach to Solving Kruppa Equations for Camera Self-Calibration (LC, FW, ZH, HTT), pp. 308–311.
PADLPADL-2002-BunusF #debugging #declarative #equation #modelling
A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
CADECADE-2002-GramlichP #algorithm #aspect-oriented #equation #modelling
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations (BG, RP), pp. 241–259.
RTARTA-2002-OhsakiT #decidability #equation
Decidability and Closure Properties of Equational Tree Languages (HO, TT), pp. 114–128.
FoSSaCSFoSSaCS-2001-Coppo #equation #recursion #type inference
Type Inference with Recursive Type Equations (MC), pp. 184–198.
CIAACIAA-2001-BoigelotL #equation
Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.
DLTDLT-2001-Esik #equation #fixpoint
The Equational Theory of Fixed Points with Applications to Generalized Language Theory (), pp. 21–36.
ICALPICALP-2001-DiekertM #commutative #decidability #equation
Solvability of Equations in Free Partially Commutative Groups Is Decidable (VD, AM), pp. 543–554.
CSLCSL-2001-Ohsaki #automaton #commutative #equation
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories (HO), pp. 539–553.
CSLCSL-2001-Rosu #category theory #deduction #equation
Complete Categorical Equational Deduction (GR), pp. 528–538.
ICLPICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
IJCARIJCAR-2001-FormisanoOT #equation
Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
IJCARIJCAR-2001-LynchM #complexity #decidability #equation #linear
Decidability and Complexity of Finitely Closable Linear Equational Theories (CL, BM), pp. 499–513.
RTARTA-2001-GieslK #dependence #equation
Dependency Pairs for Equational Rewriting (JG, DK), pp. 93–108.
RTARTA-2001-LevyV #equation #traversal #unification
Context Unification and Traversal Equations (JL, MV), pp. 169–184.
ESOPESOP-2000-WellsV #equation #reasoning
Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.
TACASTACAS-2000-Mateescu #equation #generative #performance
Efficient Diagnostic Generation for Boolean Equation Systems (RM), pp. 251–265.
STOCSTOC-2000-Gutierrez #equation #satisfiability
Satisfiability of equations in free groups is in PSPACE (CG), pp. 21–27.
ICALPICALP-2000-FokkinkL #equation #specification
An ω-Complete Equational Specification of Interleaving (WF, SPL), pp. 729–743.
ICALPICALP-2000-Pichler #equation
Negation Elimination from Simple Equational Formulae (RP), pp. 612–623.
ICMLICML-2000-TodorovskiDSWG #behaviour #difference #equation
Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.
ICMLICML-2000-WashioMN #equation
Enhancing the Plausibility of Law Equation Discovery (TW, HM, YN), pp. 1127–1134.
ICPRICPR-v3-2000-BaumelaARB #difference #equation #estimation #using
Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.
SACSAC-2000-Reich #algorithm #difference #equation #simulation #using
Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
SACSAC-2000-Shaw #algorithm #equation #parallel
A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
ICLPCL-2000-StorrT #calculus #equation
A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
CSLCSL-2000-OhsakiMG #equation #semantics #termination
Equational Termination by Semantic Labelling (HO, AM, JG), pp. 457–471.
DACDAC-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.
DACDAC-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.
DACDAC-1999-ShenABHKGCH #functional #verification
Functional Verification of the Equator MAP1000 Microprocessor (JS, JAA, DB, TH, MK, GG, CcC, GH), pp. 169–174.
FoSSaCSFoSSaCS-1999-GordonC #equation #mobile
Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.
SASSAS-1999-CorrensonDPR #equation #semantics
Equational Semantics (LC, ÉD, DP, GR), pp. 264–283.
STOCSTOC-1999-Plandowski #equation #satisfiability #word
Satisfiability of Word Equations with Constants is in NEXPTIME (WP), pp. 721–725.
CADECADE-1999-Pichler #equation #problem
Solving Equational Problems Efficiently (RP), pp. 97–111.
CADECADE-1999-Schmidt-SchaussS #decidability #equation
Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.
RTARTA-1999-BaaderT #equation #problem #word
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors (FB, CT), pp. 175–189.
RTARTA-1999-KepserR #algorithm #equation #named #unification
UNIMOK: A System for Combining Equational Unification Algorithm (SK, JR), pp. 248–251.
TLCATLCA-1999-Statman #consistency #equation #theorem
Consequences of Jacopini’s Theorem: Consistent Equalities and Equations (RS), pp. 355–364.
ASEASE-1998-MonroyBG #equation #verification
Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.
DACDAC-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.
FoSSaCSFoSSaCS-1998-AcetoFI #axiom #equation
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.
WRLAWRLA-1998-Jouannaud #calculus #equation #induction #logic
Membership equational logic, calculus of inductive instructions, and rewrite logic (JPJ), pp. 388–393.
WRLAWRLA-1998-Viry #calculus #equation
Adventures in sequent calculus modulo equations (PV), pp. 21–32.
STOCSTOC-1998-MourrainP #equation #multi #polynomial
Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations (BM, VYP), pp. 488–496.
FLOPSFLOPS-1998-Nedjah #equation #source code
Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.
FLOPSFLOPS-1998-Tsukada #equation #reasoning
Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.
ICALPICALP-1998-PlandowskiR #encoding #equation #word
Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.
CADECADE-1998-BoudetC #confluence #equation #term rewriting
About the Confluence of Equational Pattern Rewrite Systems (AB, EC), pp. 88–102.
CADECADE-1998-Peltier #constraints #equation
System Description: An Equational Constraints Solver (NP), pp. 119–123.
RTARTA-1998-JacquemardMW #equation #unification
Unification in Extension of Shallow Equational Theories (FJ, CM, CW), pp. 76–90.
RTARTA-1998-Schmidt-SchaussS #equation #on the
On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.
PEPMPEPM-1997-DanvyS #equation #named #recursion #source code #λ-calculus
λ-Dropping: Transforming Recursive Equations into Programs with Block Structure (OD, UPS), pp. 90–106.
STOCSTOC-1997-Pan #equation #performance
Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.
DLTDLT-1997-MantaciR #equation
Tree Codes and Equations (SM, AR), pp. 119–133.
ICALPICALP-1997-DiekertMM #equation #normalisation #using
Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.
ICALPICALP-1997-KarhumakiPM #equation #word
The Expressibility of Languages and Relations by Word Equations (JK, WP, FM), pp. 98–109.
ICALPICALP-1997-SchwiegelshohnT #equation
Periodic and Non-periodic Min-Max Equations (US, LT), pp. 379–389.
ICMLICML-1997-TodorovskiD #bias #declarative #equation
Declarative Bias in Equation Discovery (LT, SD), pp. 376–384.
KDDKDD-1997-Zytkow #concept #equation
Knowledge = Concepts: A Harmful Equation (JMZ), pp. 104–109.
PPDPALP-1997-KirchnerR #equation #higher-order #unification
Higher-Order Equational Unification via Explicit Substitutions (CK, CR), pp. 61–75.
SACSAC-1997-ChungLLD #equation #using
Effect of data distribution in data assimilation using Burgers’ equation (WC, JML, SL, SKD), pp. 521–526.
CSLCSL-1997-Hollenberg #algebra #axiom #equation
Equational Axioms of Test Algebra (MH), pp. 295–310.
RTARTA-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.
RTARTA-1997-TomasF #equation #geometry #linear #using
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
TLCATLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
DACDAC-1996-BorchersHB #behaviour #equation #generative
Equation-Based Behavioral Model Generation for Nonlinear Analog Circuits (CB, LH, EB), pp. 236–239.
DACDAC-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.
ASEKBSE-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.
WRLARWLW-1996-Eker #equation #performance
Fast matching in combinations of regular equational theories (SE), pp. 90–109.
SASSAS-1996-FechtS #equation #performance
An Even Faster Solver for General Systems of Equations (CF, HS), pp. 189–204.
STOCSTOC-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.
OOPSLAOOPSLA-1996-NishimuraOT #equation #object-oriented #query
An Equational Object-Oriented Data Model and its Data-Parallel Query Language (SN, AO, KT), pp. 1–17.
CAVCAV-1996-Greenstreet #difference #equation #safety #verification
Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.
LICSLICS-1996-BhatC #calculus #equation #model checking #performance #μ-calculus
Efficient Model Checking via the Equational μ-Calculus (GB, RC), pp. 304–312.
LICSLICS-1996-Narendran #equation #linear #polynomial
Solving Linear Equations over Polynomial Semirings (PN), pp. 466–472.
RTARTA-1996-Ferreira #equation
Dummy Elimination in Equational Rewriting (MCFF), pp. 78–92.
RTARTA-1996-WaltersK #automaton #equation #named
EPIC: An Equational Language -Abstract Machine Supporting Tools- (HRW, JFTK), pp. 424–427.
ICALPICALP-1995-BestK #equation #recursion
Solving Recursive Net Equations (EB, MK), pp. 605–623.
ICALPICALP-1995-EsikB #axiom #equation
Nonfinite Axiomatizability of the Equational Theory of Shuffle (, MB), pp. 27–38.
ICALPICALP-1995-HarjuKP #equation
Compactness of Systems of Equations in Semigroups (TH, JK, WP), pp. 444–454.
CAVCAV-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.
ICLPICLP-1995-BurgSTY #constraints #equation #linear #logic programming
Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.
ICLPICLP-1995-ChengPE #equation #implementation #logic programming #source code
A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.
ICLPICLP-1995-Hanus #equation #logic programming #on the
On Extra Variables in (Equational) Logic Programming (MH), pp. 665–679.
ICLPICLP-1995-MulkersSJB #equation #on the
On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.
RTARTA-1995-AbdulrabM #equation #linear
General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.
RTARTA-1995-AvenhausDF #deduction #distributed #equation #named
DISCOUNT: A SYstem for Distributed Equational Deduction (JA, JD, MF), pp. 397–402.
RTARTA-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.
RTARTA-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.
RTARTA-1995-OttoND #equation #independence #unification
Some Independent Results for Equational Unification (FO, PN, DJD), pp. 367–381.
TLCATLCA-1995-Padovani #equation #equivalence #on the
On Equivalence Classes of Interpolation Equations (VP), pp. 335–349.
DACDAC-1994-KahngM #analysis #equation #using
Delay Analysis of VLSI Interconnections Using the Diffusion Equation Model (ABK, SM), pp. 563–569.
STOCSTOC-1994-JacquetS #algorithm #analysis #equation #functional
A functional equation often arising in the analysis of algorithms (extended abstract) (PJ, WS), pp. 780–789.
ICALPICALP-1994-HintermeierKK #dynamic typing #equation #order
Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.
ICALPICALP-1994-Seidl #equation
Least Solutions of Equations over N (HS), pp. 400–411.
ICALPICALP-1994-VergauwenL #correctness #equation #performance
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems (BV, JL), pp. 304–315.
LISPLFP-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.
PPDPALP-1994-AlpuenteFV #analysis #composition #equation #source code
Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.
PPDPALP-1994-Balbiani #equation
Equation Solving in Projective Planes and Planar Ternary Rings (PB), pp. 95–113.
POPLPOPL-1994-Qian #equation #higher-order #logic programming
Higher-Order Equational Logic Programming (ZQ), pp. 254–267.
HPDCHPDC-1994-HuiCYHA #difference #equation #network
Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.
CADECADE-1994-DomenjoudKR #equation
Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
CADECADE-1994-HermannK #complexity #equation #problem
The Complexity of Counting Problems in Equational Matching (MH, PGK), pp. 560–574.
CADECADE-1994-WirthG #equation #induction #on the
On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.
ICLPICLP-1994-Thielscher #equation #logic programming #representation
Representing Actions in Equational Logic Programming (MT), pp. 207–224.
ISSTAISSTA-1994-Kapur #automation #equation #specification
An Automated Tool for Analyzing Completeness of Equational Specifications (DK), pp. 28–43.
LICSLICS-1994-Sewell #axiom #bisimulation #equation #first-order
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable (PS), pp. 62–70.
DLTDLT-1993-Cazanescu #equation #logic
Local Equational Logic II (VEC), pp. 210–221.
PPDPPLILP-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.
SACSAC-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.
PPoPPPPoPP-1993-GrunwaldS #data flow #equation #parallel #source code
Data Flow Equations for Explicitly Parallel Programs (DG, HS), pp. 159–168.
PPoPPPPoPP-1993-RaoW #equation
An Equational Language for Data-Parallelism (PR, CW), pp. 112–118.
ICLPICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo
Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.
ICLPILPS-1993-Ait-Kaci #equation #inheritance #logic #programming
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.
ICLPILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental
Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.
ICLPILPS-1993-MoraPRF #equation #prototype #type system
A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.
RTARTA-1993-AvenhausD #equation #proving #theorem proving
Distributing Equational Theorem Proving (JA, JD), pp. 62–76.
RTARTA-1993-Matthews #equation #ml #named #reasoning #standard
MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
RTARTA-1993-NiehrenPT #constraints #equation #finite
Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.
RTARTA-1993-Tajine #decidability #equation
The Negation Elimination from Syntactic Equational Formula is Decidable (MT), pp. 316–327.
RTARTA-1993-Verma #equation #named
Smaran: A Congruence-Closure Based System for Equational Computations (RMV), pp. 457–461.
DACDAC-1992-DamianiM #equation #logic #optimisation
Recurrence Equations and the Optimization of Synchronous Logic Circuits (MD, GDM), pp. 556–561.
DACDAC-1992-HamadaCC #equation #estimation
A Wire Length Estimation Technique Utilizing Neighborhood Density Equations (TH, CKC, PMC), pp. 57–61.
PEPMPEPM-1992-ShermanS #equation #logic programming #source code
Call Unfolding Strategies for Equational Logic Programs (DS, RS), pp. 48–53.
PLDIPLDI-1992-Maslov #dependence #equation #multi #named #performance
Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.
STOCSTOC-1992-Barvinok #equation #polynomial #testing
Feasibility Testing for Systems of Real Quadratic Equations (AIB), pp. 126–132.
SEKESEKE-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.
PPDPALP-1992-BoudetC #equation #on the
On n-Syntactic Equational Theories (AB, EC), pp. 446–457.
PPDPALP-1992-EhrigP #algebra #equation #specification
High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.
PPDPPLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism
Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.
PPDPPLILP-1992-Hamel #equation #logic programming #named
UCG-E: An Equational Logic Programming System (LHH), pp. 473–474.
CADECADE-1992-BaaderS #equation #unification
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (FB, KUS), pp. 50–65.
CADECADE-1992-SekarR #equation #evaluation #framework #lazy evaluation #parallel #programming
Programming with Equations: A Framework for Lazy Parallel Evaluation (RCS, IVR), pp. 618–632.
ICLPJICSLP-1992-GrosseHSST #equation #logic programming
Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.
LICSLICS-1992-AcetoBV #equation
Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.
LICSLICS-1992-ComonHJ #decidability #equation #problem
Decidable Problems in Shallow Equational Theories (Extended Abstract) (HC, MH, JPJ), pp. 255–265.
DACDAC-1991-ShihK #approach #equation #named #performance #using
ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
ESOPESOP-J-1990-Bondorf91 #automation #equation #higher-order #recursion
Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 3–34.
PEPMPEPM-1991-Muller #equation #logic #named #semantics
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract) (RM), pp. 234–242.
PEPMPEPM-1991-ShermanSD #equation #optimisation #partial evaluation #source code #using
Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.
STOCSTOC-1991-Ko #equation #polynomial
Integral Equations, Systems of Quadratic Equations, and Exponential-Time Completeness (Extended Abstract) (KIK), pp. 10–20.
SASWSA-1991-DurandSS #equation #partial evaluation #source code
Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.
SASWSA-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.
SASWSA-1991-Sun #equation #logic
Equational Logics (YS), pp. 44–52.
ICMLML-1991-RaoLS #equation #knowledge-based
Knowledge-Based Equation Discovery in Engineering Domains (RBR, SCYL, RES), pp. 630–634.
OOPSLAOOPSLA-1991-Wilk #constraints #named #object-oriented #theorem proving
Equate: An Object-Oriented Constraint Solver (MRW), pp. 286–298.
PPDPPLILP-1991-Naish #equation #prolog
Adding equations to NU-Prolog (LN), pp. 15–26.
CSLCSL-1991-Meinke #combinator #data type #equation #specification
Equational Specification of Abstract Types and Combinators (KM), pp. 257–271.
LICSLICS-1991-Tronci #equation #λ-calculus
Equational Prgoramming in λ-calculus (ET), pp. 191–202.
RTARTA-1991-Avenhaus #equation #induction #proving #theorem
Proving Equational and Inductive Theorems by Completion and Embedding Techniques (JA), pp. 361–373.
RTARTA-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.
RTARTA-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.
RTARTA-1991-Wolfram #equation #higher-order #unification
Rewriting, and Equational Unification: the Higher-Order Cases (DAW), pp. 25–36.
ESOPESOP-1990-Bondorf #automation #equation #higher-order #recursion
Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 70–87.
ICALPICALP-1990-Comon #algebra #equation #order
Equational Formulas in Order-Sorted Algebras (HC), pp. 674–688.
ICGTGG-1990-Bauderon #equation #recursion
General Solution to a System of Recursive Equations (MB), pp. 113–126.
PPDPALP-1990-DebartEL #equation #logic programming #multi #order #using
Multi-Modal Logic Programming using Equational and Order-Sorted Logic (FD, PE, ML), pp. 55–69.
PPDPALP-1990-DershowitzMS #equation
Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.
PPDPALP-1990-Hanus #equation #logic programming #source code #specification
Logic Programs with Equational Type Specifications (Extended Abstract) (MH), pp. 70–85.
CADECADE-1990-Boudet #algorithm #equation #performance #unification
Unification in a Combination of Equational Theories: an Efficient Algorithm (AB), pp. 292–307.
CADECADE-1990-BrownA90a #algebra #equation
Cylindric Algebra Equation Solver (FMB, CA), pp. 645–646.
CADECADE-1990-Kirchner #equation #tutorial #unification
Tutorial on Equational Unification (CK), p. 682.
CADECADE-1990-NarendranO #equation #unification
Some Results on Equational Unification (PN, FO), pp. 276–291.
CADECADE-1990-Rittri #equation #identifier #library
Retrieving Library Identifiers via Equational Matching of Types (MR), pp. 603–617.
LICSLICS-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.
LICSLICS-1990-LarsenX #equation #using
Equation Solving Using Modal Transition Systems (KGL, LX), pp. 108–117.
LICSLICS-1990-Nipkow #equation #proving
Proof Transformations for Equational Theories (TN), pp. 278–288.
LICSLICS-1990-SekarR #equation #logic #programming
Programming in Equational Logic: Beyond Strong Sequentiality (RCS, IVR), pp. 230–241.
DACDAC-1989-GoreR #array #automation #equation #logic #programmable #synthesis #using
Automatic Synthesis of Boolean Equations Using Programmable Array Logic (RG, KR), pp. 283–289.
ICALPICALP-1989-Courcelle #equation #graph #higher-order #logic #monad
The Definability of Equational Graphs in Monadic Second-Order Logic (BC), pp. 207–221.
KRKR-1989-Sandewall #difference #equation #logic
Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.
ICLPNACLP-1989-JayaramanP #equation #programming #set
Programming with Equations, Subsets, and Relations (BJ, DAP), pp. 1051–1068.
RTARTA-1989-AbdulrabP #equation #linear #word
Solving Systems of Linear Diophantine Equations and Word Equations (HA, JPP), pp. 530–532.
RTARTA-1989-BonacinaS #equation #named #proving #theorem proving
KBlab: An Equational Theorem Prover for the Macintosh (MPB, GS), pp. 548–550.
RTARTA-1989-McNulty #equation #logic
An Equational Logic Sampler (GFM), pp. 234–262.
RTARTA-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.
RTARTA-1989-Strandh #equation #performance #source code
Classes of Equational Programs that Compile into Efficient Machine Code (RS), pp. 449–461.
ESOPESOP-1988-BertlingGS #equation #named #specification
CEC: A System for the Completion of Conditional Equational Specifications (HB, HG, RS), pp. 378–379.
ICALPICALP-1988-You #equation
Outer Narrowing for Equational Theories Based on Constructors (JHY), pp. 727–741.
FMVDME-1988-Haxthausen #algebra #equation #recursion
Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
PPDPALP-1988-BeierleP #data type #equation #logic programming #specification
Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.
PPDPALP-1988-Wolter #equation
Narrowing in Partial Conditional Equational Theories (Abstract) (UW), p. 244.
PPDPALP-1988-You #equation
Solving Equations in an Equational Language (JHY), pp. 245–254.
CADECADE-1988-BlasiusS #equation #graph #reasoning #unification
Partial Unification for Graph Based Equational Reasoning (KHB, JHS), pp. 397–414.
CADECADE-1988-Burckert #equation
Solving Disequations in Equational Theories (HJB), pp. 517–526.
CADECADE-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.
CADECADE-1988-Schmidt-Schauss #equation #unification
Unification in a Combination of Arbitrary Disjoint Equational Theories (MSS), pp. 378–396.
CADECADE-1988-ZhangKK #equation #induction #specification
A Mechanizable Induction Principle for Equational Specifications (HZ, DK, MSK), pp. 162–181.
ICLPJICSCP-1988-GallierI88 #equation #logic #order
Rewriting in Order-sorted Equational Logic (JHG, TI), pp. 280–294.
ICLPJICSCP-1988-Zachary88 #approach #equation #logic programming
A Pragmatic Approach to Equational Logic Programming (JLZ), pp. 295–310.
LICSLICS-1988-Bachmair #consistency #equation #proving
Proof by Consistency in Equational Theories (LB), pp. 228–233.
VLDBVLDB-1987-CeriT #algebra #datalog #equation #optimisation #query
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries (SC, LT), pp. 31–41.
ICALPICALP-1987-HsiangR #equation #on the #problem #word
On Word Problems in Equational Theories (JH, MR), pp. 54–71.
LICSLICS-1987-GallierRS #equation #proving #theorem proving #using
Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.
RTARTA-1987-BurckertHS #decidability #equation #on the #unification
On Equational Theories, Unification and Decidability (HJB, AH, MSS), pp. 204–215.
RTARTA-1987-ODonnell #equation #implementation #logic programming
Term-Rewriting Implementation of Equational Logic Programming (MJO), pp. 1–12.
RTARTA-1987-Strandh #equation #optimisation #source code
Optimizing Equational Programs (RS), pp. 13–24.
ICLPSLP-1987-Ait-KaciLN87 #equation #logic
Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.
ICLPSLP-1987-Holldobler87 #equation #logic programming
Equational Logic Programming (SH), pp. 335–346.
LISPLFP-1986-JayaramanS #equation #functional #logic programming #reduction #semantics #set
Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
LISPLFP-1986-Thatte #equation #programming language #semantics #towards
Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.
ICGTGG-1986-HotzKM #algebra #equation #network #on the #recursion
On Network Algebras and Recursive Equations (GH, RK, PM), pp. 250–261.
POPLPOPL-1986-YouS #equation #logic programming
Equational Logic Programming: An Extension to Equational Programming (JHY, PAS), pp. 209–218.
CADECADE-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.
CADECADE-1986-PoratF #equation #term rewriting
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.
ICLPICLP-1986-JaffarS86 #equation #logic programming #semantics
Logic Program Semantics for Programming with Equations (JJ, PJS), pp. 313–326.
LICSLICS-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.
LICSLICS-1986-BachmairDH #equation #order #proving
Orderings for Equational Proofs (LB, ND, JH), pp. 346–357.
LICSLICS-1986-JouannaudK #automation #equation #induction #proving
Automatic Proofs by Induction in Equational Theories Without Constructors (JPJ, EK), pp. 358–366.
ICLPSLP-1986-MartelliMR86 #algorithm #equation #unification
An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.
STOCSTOC-1985-BruceL #equation #modelling #morphism
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.
STOCSTOC-1985-CosmadakisK #constraints #database #equation
Equational Theories and Database Constraints (SSC, PCK), pp. 273–284.
FPCAFPCA-1985-Johnsson85 #equation #recursion #source code
λ Lifting: Treansforming Programs to Recursive Equations (TJ), pp. 190–203.
RTARTA-1985-Ait-Kaci #equation #graph grammar
Solving Type Equations by Graph Rewriting (HAK), pp. 158–179.
RTARTA-1985-CosmadakisK #database #equation
Two Applications of Equational Theories to Database Theory (SSC, PCK), pp. 107–123.
RTARTA-1985-Yelick #algorithm #equation #unification
Combining Unification Algorithms for Confined Regular Equational Theories (KAY), pp. 365–380.
VLDBVLDB-1984-Morgenstern #automation #constraints #declarative #equation
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.
STOCSTOC-1984-Kozen #equation #logic
Pebblings, Edgings, and Equational Logic (DK), pp. 428–435.
STOCSTOC-1984-OngSS #equation #performance #polynomial
An Efficient Signature Scheme Based on Quadratic Equations (HO, CPS, AS), pp. 208–216.
ICALPICALP-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.
ICALPICALP-1984-Fribourg #equation #programming language
Oriented Equational Clauses as a Programming Language (LF), pp. 162–173.
POPLPOPL-1984-HoffmannO #equation #implementation #interpreter
Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
POPLPOPL-1984-JouannaudK #equation #set
Completion of a Set of Rules Modulo a Set of Equations (JPJ, HK), pp. 83–92.
CADECADE-1984-JouannaudM #equation #set #termination
Termination of a Set of Rules Modulo a Set of Equations (JPJ, MM), pp. 175–193.
CADECADE-1984-Kirchner #algorithm #equation #unification
A New Equational Unification Method: A Generalization of Martelli-Montanari’s Algorithm (CK), pp. 224–247.
ICLPILPC-1984-Pique84 #equation #prolog
Drawing Trees and their Equations in Prolog (JFP), pp. 23–33.
ICALPICALP-1983-JouannaudKK #algorithm #equation #incremental #unification
Incremental Construction of Unification Algorithms in Equational Theories (JPJ, CK, HK), pp. 361–373.
POPLPOPL-1983-DemersD #equation
Making Variables Abstract: An Equational Theory for Russell (AJD, JED), pp. 59–72.
DACDAC-1982-LarsenLS #equation #logic
Aw expanded logic equation list for checkout (RPL, JAL, AKS), pp. 291–299.
ICSEICSE-1982-LucasR #equation #evaluation #representation
Representation of Factual Information by Equations and Their Evaluation (PL, TR), pp. 367–376.
CADECADE-1982-SiekmannS #classification #equation #unification
Universal Unification and a Classification of Equational Theories (JHS, PS), pp. 369–389.
CADECADE-1982-Silver #equation
The Application of Homogenization to Simultaneous Equations (BS), pp. 132–143.
STOCSTOC-1981-ChandraHMP #equation #logic #process
Equations between Regular Terms and an Application to Process Logic (AKC, JYH, ARM, RP), pp. 384–390.
ICALPICALP-1981-PnueliZ #equation #specification
Realizing an Equational Specification (AP, RZ), pp. 459–478.
ICALPICALP-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.
ICALPICALP-1979-DembinskiM #equation #two-level grammar
Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
STOCSTOC-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.
ICALPICALP-1974-BohmD #combinator #equation #normalisation #problem
Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.
ICALPICALP-1972-Lentin #equation #monad
Equations in Free Monoids (AL), pp. 67–85.
DACDAC-1971-LarsenM #clustering #equation #layout #logic
Partitioning and ordering of logic equations for optimum MOS LSI device layout (RPL, LM), pp. 131–142.
STOCSTOC-1970-Strong #equation #recursion
Translating Recursion Equations into Flow Charts (HRSJ), pp. 184–197.
DACDAC-1969-RaderI #equation #logic
Aw expanded logic equation list for checkout (JAR, DAI), pp. 291–296.
DACDAC-1968-Rader #equation #logic #syntax
Application of a syntax driver to logic equation processing and data-control card scanning (JAR).
DACDAC-1967-Richards #automation #equation #logic #named #programming #simulation
SWAP — a programming system for automatic simulation, wiring and placement of logical equations (DLR).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.