×

Found 112 Documents (Results 1–100)

100
MathJax

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

On the essence and initiality of conflicts. (English) Zbl 1394.68195

Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 99-117 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Towards local confluence analysis for amalgamated graph transformation. (English) Zbl 1321.68338

Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 69-86 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

Semantic defectiveness: a dissolution of semantic pathology. (English) Zbl 1315.03001

Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 1-12 (2014).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI

From pair points to pairs of models. (English) Zbl 1273.03028

Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 159-169 (2013).
MSC:  03A05 03B47
PDF BibTeX XML Cite

Conditional reactive systems. (English) Zbl 1246.68152

Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 191-203, electronic only (2011).
MSC:  68Q60 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Limit periodic solutions of the Volterra integro-differential equations. (Russian) Zbl 1298.45005

Stepanov, S. Ya. (ed.) et al., Problems in the investigation of the stability and stabilization of motion. Moscow: Rossiĭskaya Akademiya Nauk, Vychislitel’nyĭ Tsentr im. A. A. Dorodnitsyna (ISBN 978-5-91601-059-6/pbk). 4-24 (2011).
MSC:  45D05 45J05
PDF BibTeX XML Cite

Gröbner bases on algebras based on well-ordered semigroups. (English) Zbl 1264.68094

Ito, Masami (ed.) et al., Automata, formal languages and algebraic systems. Proceedings of AFLAS 2008, Kyoto, Japan, September 20–22, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4317-60-3/hbk; 978-981-4317-61-0/ebook). 85-102 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Computing critical pairs in 2-dimensional rewriting systems. (English) Zbl 1236.68139

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 227-242, electronic only (2010).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Efficient conflict detection in graph transformation systems by essential critical pairs. (English) Zbl 1283.68185

Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 17-26 (2008).
MSC:  68Q42 05C62
PDF BibTeX XML Cite
Full Text: DOI

Diagram rewriting for orthogonal matrices: A study of critical peaks. (English) Zbl 1145.68451

Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 232-245 (2008).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Relative Ljusternik-Schnirelmann category of index pairs and applications to critical point theory. (English) Zbl 1026.37009

Proceedings of the 31st Iranian mathematics conference, Tehran, Islamic Republic of Iran, August 27-30, 2000. Tehran: University of Tehran, 50-55 (2000).
MSC:  37B35 58E05 37B30
PDF BibTeX XML Cite

Rewrite semantics for production rule systems: theory and applications. (English) Zbl 1412.68273

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 508-522 (1996).
MSC:  68T27 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Learning domain knowledge to improve theorem proving. (English) Zbl 1412.68217

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 62-76 (1996).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Dynamically-typed computations for order-sorted equational presentations. (English) Zbl 1418.68057

Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 450-461 (1994).
PDF BibTeX XML Cite
Full Text: DOI Link

Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\). (English) Zbl 1418.68110

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 657-668 (1993).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI

A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. (English) Zbl 1422.03022

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 645-656 (1993).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

A note on removable pairs. (English) Zbl 0837.06004

Alavi, Yousef (ed.) et al., Graph theory, combinatorics, and applications, Vol. 2. Proceedings of the sixth quadrennial international conference on the theory and applications of graphs held at Western Michigan University, Kalamazoo, MI, USA, May 30-June 3, 1988. New York: John Wiley & Sons, Inc. Wiley-Interscience Publication. 739-742 (1991).
MSC:  06A07
PDF BibTeX XML Cite

Stability in the critical case of one zero root and a pair of purely imaginary roots for one \(n\)-th order non-autonomous quasilinear equation. (English. Russian original) Zbl 0764.34043

Differ. Equations 26, No. 12, 1501-1521 (1990); translation from Differ. Uravn. 26, No. 12, 2027-2046 (1990).
Reviewer: E.Chukwu (Raleigh)
MSC:  34D20 34A34
PDF BibTeX XML Cite

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

all top 3

Software