×

Found 861 Documents (Results 1–100)

100
MathJax

Strong Hom-associativity. (English) Zbl 1479.17005

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 317-337 (2020).
PDF BibTeX XML Cite
Full Text: DOI

A lower bound of the number of rewrite rules obtained by homological methods. (English) Zbl 07559290

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 24, 17 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

ProTeM: a proof term manipulator (system description). (English) Zbl 1462.68218

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018).
MSC:  68V15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Narrowing trees for syntactically deterministic conditional term rewriting systems. (English) Zbl 1462.68097

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 26, 20 p. (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Completeness of tree automata completion. (English) Zbl 1462.68096

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 16, 20 p. (2018).
MSC:  68Q42 68N18 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Term rewriting characterisation of LOGSPACE for finite and infinite data. (English) Zbl 1462.68093

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 13, 19 p. (2018).
MSC:  68Q42 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Term-graph anti-unification. (English) Zbl 1462.68091

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018).
MSC:  68Q42 68R10
PDF BibTeX XML Cite
Full Text: DOI

Confluence of prefix-constrained rewrite systems. (English) Zbl 1462.68087

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 6, 15 p. (2018).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Graph operations and free graph algebras. (English) Zbl 1383.68049

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Infinite runs in abstract completion. (English) Zbl 1441.68113

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 19, 16 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Böhm reduction in infinitary term graph rewriting systems. (English) Zbl 1434.68216

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 8, 20 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI

Improving rewriting induction approach for proving ground confluence. (English) Zbl 1434.68215

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 7, 18 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Analyzing runtime complexity via innermost runtime complexity. (English) Zbl 1403.68106

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 249-268 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Projections for infinitary rewriting. (English) Zbl 1394.68201

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 131-148 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth. (English) Zbl 1398.68288

Guo, Jiong (ed.) et al., 11th international symposium on parameterized and exact computation (IPEC 2016), Aarhus, Denmark, August 24–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-023-1). LIPIcs – Leibniz International Proceedings in Informatics 63, Article 25, 12 p. (2017).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Ground confluence prover based on rewriting induction. (English) Zbl 1387.68205

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 33, 12 p. (2016).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Certifying confluence of almost orthogonal CTRSs via exact tree automata completion. (English) Zbl 1388.68155

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 29, 16 p. (2016).
MSC:  68Q42 68Q45 68T15
PDF BibTeX XML Cite
Full Text: DOI

Reversible term rewriting. (English) Zbl 1387.68147

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 28, 18 p. (2016).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI

Homological computations for term rewriting systems. (English) Zbl 1387.68146

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 27, 17 p. (2016).
MSC:  68Q42 08A70 18C10
PDF BibTeX XML Cite
Full Text: DOI

Complexity hierarchies and higher-order cons-free rewriting. (English) Zbl 1387.68145

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 23, 18 p. (2016).
MSC:  68Q42 68Q15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. (English) Zbl 1361.68061

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 4-17 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

An approximation algorithm for quadratic dynamic systems based on N. Chomsky’s grammar for Taylor’s formula. (English. Russian original) Zbl 1353.65069

Proc. Steklov Inst. Math. 293, Suppl. 1, S17-S21 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 21, No. 2, 21-25 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Synchronized tree languages for reachability in non-right-linear term rewrite systems. (English) Zbl 1366.68107

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 64-81 (2016).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Nested term graphs (work in progress). (English) Zbl 1476.68121

Middeldorp, Aart (ed.) et al., Proceedings of the 8th international workshop on computing with terms and graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 183, 48-65 (2015).
MSC:  68Q42 68N18
PDF BibTeX XML Cite
Full Text: arXiv Link

Inferring lower bounds for runtime complexity. (English) Zbl 1366.68116

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 334-349 (2015).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Matrix interpretations on polyhedral domains. (English) Zbl 1366.68129

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 318-333 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Certified rule labeling. (English) Zbl 1366.68126

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 269-284 (2015).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Improving automatic confluence analysis of rewrite systems by redundant rules. (English) Zbl 1366.68125

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 257-268 (2015).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Conditional complexity. (English) Zbl 1366.68121

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 223-240 (2015).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Leftmost outermost revisited. (English) Zbl 1366.68119

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 209-222 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Reachability analysis of innermost rewriting. (English) Zbl 1366.68117

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 177-193 (2015).
MSC:  68Q42 68N18 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Proving non-termination by finite automata. (English) Zbl 1366.68115

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 160-176 (2015).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

No complete linear term rewriting system for propositional logic. (English) Zbl 1366.68112

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 127-142 (2015).
MSC:  68Q42 03B05
PDF BibTeX XML Cite
Full Text: DOI

A faithful encoding of programmable strategies into term rewriting systems. (English) Zbl 1366.68109

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 74-88 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Nominal anti-unification. (English) Zbl 1366.68106

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 57-73 (2015).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Multivariate amortised resource analysis for term rewrite systems. (English) Zbl 1367.68138

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 241-256 (2015).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI

Analysing the complexity of functional programs: higher-order meets first-order. (English) Zbl 1360.68313

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 152-164 (2015).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics. (English) Zbl 1464.68109

Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 200-215 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Towards more precise rewriting approximations. (English) Zbl 1425.68153

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 652-663 (2015).
MSC:  68Q42 68N17 68Q45
PDF BibTeX XML Cite
Full Text: DOI HAL

Correctness of context-moving transformations for term rewriting systems. (English) Zbl 1473.68057

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 331-345 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Encoding dependency pair techniques and control strategies for maximal completion. (English) Zbl 1465.68126

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 152-162 (2015).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

On proving soundness of the computationally equivalent transformation for normal conditional term rewriting systems by using unravelings. (English) Zbl 1428.68176

Schmidt-Schauß, Manfred (ed.) et al., First international workshop on rewriting techniques for program transformations and evaluation, WPTE’14, Vienna, Austria, July 13, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 40, 39-50 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software