×

Found 78 Documents (Results 1–78)

A lambda-free higher-order recursive path order. (English) Zbl 1486.68085

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 461-479 (2017).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI HAL

Certification of classical confluence results for left-linear term rewrite systems. (English) Zbl 1478.68117

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 290-306 (2016).
MSC:  68Q42 68V15 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

Optimizing a certified proof checker for a large-scale computer-generated proof. (English) Zbl 1417.68180

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 55-70 (2015).
MSC:  68T15 68P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proving termination of programs automatically with AProVE. (English) Zbl 1409.68256

Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 184-191 (2014).
MSC:  68T15 68N15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Automated certified proofs with CiME3. (English) Zbl 1236.68219

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 21-30, electronic only (2011).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Structural analysis of narratives with the Coq proof assistant. (English) Zbl 1342.68280

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 55-70 (2011).
MSC:  68T15 03F52 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

CSI – a confluence tool. (English) Zbl 1341.68199

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 499-505 (2011).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Non-linear continuum theories. Lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, May 31–June 9, 1965. Reprint of the 1966 ed. (English, Italian) Zbl 1216.74003

CIME Summer Schools 36. Berlin: Springer; Firenze: Fondazione CIME Roberto Conti (ISBN 978-3-642-11032-0/pbk; 978-3-642-11033-7/ebook). 358 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009).
MSC:  68Q60 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Certifying a termination criterion based on graphs, without graphs. (English) Zbl 1165.68455

Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 183-198 (2008).
MSC:  68T15 68R10
PDFBibTeX XMLCite
Full Text: DOI

CIME courses on partial differential equations and calculus of variations. (English) Zbl 1134.01321

Dacorogna, Bernard (ed.) et al., Calculus of variations and nonlinear partial differential equations. Lectures given at the C.I.M.E. summer school, Cetraro, Italy, June 27–July 2, 2005. With a historical overview by Elvira Mascolo. Berlin: Springer (ISBN 978-3-540-75913-3/pbk). Lecture Notes in Mathematics 1927, 183-189 (2008).
MSC:  01A74
PDFBibTeX XMLCite

Certification of proving termination of term rewriting by matrix interpretations. (English) Zbl 1132.68431

Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 328-339 (2008).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Towards rewriting in Coq. (English) Zbl 1186.68234

Comon-Lundh, Hubert (ed.) et al., Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-73146-7/pbk). Lecture Notes in Computer Science 4600, 113-131 (2007).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Slothrop: Knuth-Bendix completion with a modern termination checker. (English) Zbl 1151.68456

Pfenning, Frank (ed.), Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12–14, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36834-2/pbk). Lecture Notes in Computer Science 4098, 287-296 (2006).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Reflecting proofs in first-order logic with equality. (English) Zbl 1135.68555

Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 7-22 (2005).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

On tree automata that certify termination of left-linear term rewriting systems. (English) Zbl 1078.68062

Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 353-367 (2005).
MSC:  68Q42 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A certified AC matching algorithm. (English) Zbl 1187.68524

van Oostrom, Vincent (ed.), Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3–5, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22153-0/pbk). Lecture Notes in Computer Science 3091, 70-84 (2004).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Direct and inverse methods in nonlinear evolution equations. Lectures given at the C. I. M. E. summer school, Cetraro, Italy, September 5–12, 1999. (English) Zbl 1031.00011

Lecture Notes in Physics. 632. Berlin: Springer. xi, 278 p. EUR 59.95/net; sFr. 106.00; £46.00; $ 59.95 (2003).
MSC:  00B25 35-06 37-06
PDFBibTeX XMLCite
Full Text: DOI

Mathematical aspects of evolving interfaces. Lectures given at the C. I. M. -C. I. M. E. joint Euro-summer school, Madeira, Funchal, Portugal, July 3–9, 2000. (English) Zbl 1013.00023

Lecture Notes in Mathematics. 1812. Berlin: Springer. ix, 237 p. (2003).
MSC:  00B25 35-06 65-06
PDFBibTeX XMLCite
Full Text: DOI Link

Optimal transportation and applications. Lectures given at the C. I. M. E. summer school, Martina Franca, Italy, September 2–8, 2001. (English) Zbl 1013.00028

Lecture Notes in Mathematics. 1813. Berlin: Springer. viii, 169 p. EUR 27.95/net; sFr. 48.00; £19.50; $ 36.80 (2003).
MSC:  00B25 49-06
PDFBibTeX XMLCite
Full Text: DOI Link

Dynamical systems and small divisors. Lectures given at the C. I. M. E. summer school, Cetraro, Italy, June 13–20, 1998. (English) Zbl 0989.00040

Lecture Notes in Mathematics. 1784. Berlin: Springer. viii, 198 p. (2002).
MSC:  00B25 37-06
PDFBibTeX XMLCite
Full Text: DOI Link

The global theory of minimal surfaces in flat spaces. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME), Martina Franca, Italy, July 7–14, 1999. (English) Zbl 0983.00044

Lecture Notes in Mathematics. 1775. Berlin: Springer. x, 116 p. (2002).
MSC:  00B25 53-06 53A10
PDFBibTeX XMLCite
Full Text: DOI Link

Quantum cohomology. Lectures given at the CIME summer school, Cetraro, Italy, June 30–July 8, 1997. (English) Zbl 0983.00045

Lecture Notes in Mathematics. 1776. Berlin: Springer. viii, 318 p. (2002).
PDFBibTeX XMLCite
Full Text: DOI Link

Optimal shape design. Lectures given at the joint CIM/CIME summer school, Tróia, Portugal, June 1–6, 1998. (English) Zbl 0954.00031

Lecture Notes in Mathematics. 1740. Berlin: Springer. ix, 388 p. (2000).
PDFBibTeX XMLCite
Full Text: DOI

Computational mathematics driven by industrial problems. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (CIME), Martina Franca, Italy, June 21–27, 1999. (English) Zbl 0954.00021

Lecture Notes in Mathematics. 1739. Berlin: Springer. vi, 414 p. (2000).
MSC:  00B25 00A69
PDFBibTeX XMLCite
Full Text: DOI

Calculus of variations and geometric evolution problems. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME), Cetraro, Italy, June 15–22, 1996. (English) Zbl 0927.00029

Lecture Notes in Mathematics. 1713. Berlin: Springer. vii, 294 p. (1999).
MSC:  00B25 35-06 49-06
PDFBibTeX XMLCite
Full Text: DOI

Stochastic PDE’s and Kolmogorov equations in infinite dimensions. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME) held in Cetraro, Italy, August 24 - September 1, 1998. (English) Zbl 0927.00037

Lecture Notes in Mathematics. 1715. Berlin: Springer. viii, 239 p. DM 63.00; öS 460.00; sFr 57.50; £24.00; $ 45.80 (1999).
MSC:  00B25 60H15
PDFBibTeX XMLCite
Full Text: DOI

Arithmetic theory of elliptic curves. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (CIME), Cetraro, Italy, July 12–19, 1997. (English) Zbl 0924.00032

Lecture Notes in Mathematics. 1716. Berlin: Springer. viii, 260 p. (1999).
PDFBibTeX XMLCite
Full Text: DOI

Integral geometry, Radon transforms and complex analysis. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (CIME), Venice, Italy, June 3–12, 1996. (English) Zbl 0889.00023

Lecture Notes in Mathematics. 1684. Berlin: Springer. vii, 160 p. (1998).
PDFBibTeX XMLCite
Full Text: DOI

Vector bundles on curves – new directions. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (CIME) held in Cetraro (Cosenza), Italy, June 19–27, 1995. (English) Zbl 0860.00019

Lecture Notes in Mathematics. 1649. Berlin: Springer. 193 p. DM 44.00; öS 321.20; sFr. 39.50 (1997).
PDFBibTeX XMLCite
Full Text: DOI

Rewrite systems for natural, integral, and rational arithmetic. (English) Zbl 1379.68194

Comon, Hubert (ed.), Rewriting techniques and applications. 8th international conference, RTA ’97, Sitges, Spain, June 2–5, 1997. Proceedings. Berlin: Springer (ISBN 978-3-540-62950-4/pbk; 978-3-540-69051-1/ebook). Lecture Notes in Computer Science 1232, 98-112 (1997).
MSC:  68Q42 13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI

Viscosity solutions and applications. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME), Montecatini Terme, Italy, June 12-20, 1995. (English) Zbl 0868.00050

Lecture Notes in Mathematics. 1660. Berlin: Springer. ix, 259 p. (1997).
MSC:  00B25 35-06 49-06 35B37 35J60 49K15 49L25
PDFBibTeX XMLCite
Full Text: DOI

Transcendental methods in algebraic geometry. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (CIME), Cetraro, Italy, July 4–12, 1994. (English) Zbl 0855.00017

Lecture Notes in Mathematics. 1646. Cetraro: Springer. 258 p. (1996).
MSC:  00B25 14-06 32-06
PDFBibTeX XMLCite
Full Text: DOI

Recent mathematical methods in nonlinear wave propagation. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (CIME), Montecatini Terme, Italy, May 23–31, 1994. (English) Zbl 0853.00040

Lecture Notes in Mathematics. 1640. Berlin: Springer. 142 p. DM 36.00; öS 306.60; sFr. 36.00 (1996).
MSC:  00B25 35-06 76-06
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic models for nonlinear partial differential equations. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo, Montecatini Terme, Italy, May 22-30, 1995. (English) Zbl 0844.00022

Lecture Notes in Mathematics. 1627. Berlin: Springer-Verlag. x, 301 p. (1996).
MSC:  00B25 60-06 60Hxx
PDFBibTeX XMLCite
Full Text: DOI

Integrable systems and quantum groups. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (CIME) held in Montecatini Terme, Italy, June 14-22, 1993. (English) Zbl 0829.00029

Lecture Notes in Mathematics. 1620. Berlin: Springer-Verlag. vi, 488 p. (1996).
MSC:  00B25 58-06 17-06
PDFBibTeX XMLCite
Full Text: DOI

AC-complete unification and its application to theorem proving. (English) Zbl 1503.68090

Ganzinger, Harald (ed.), Rewriting techniques and applications. 7th international conference, RTA ’96, New Brunswick, NJ, USA, July 27–30, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1103, 18-32 (1996).
MSC:  68Q42 68V15
PDFBibTeX XMLCite
Full Text: DOI

Algebraic cycles and Hodge theory. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Torino, Italy, June 21-29, 1993. (English) Zbl 0804.00017

Lecture Notes in Mathematics. 1594. Berlin: Springer-Verlag. vii, 275 p. (1994).
MSC:  00B25 14-06
PDFBibTeX XMLCite

Transition to chaos in classical and quantum mechanics. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, July 6-13, 1991. (English) Zbl 0801.00010

Lecture Notes in Mathematics. 1589. Berlin: Springer-Verlag. 192 p. (1994).
PDFBibTeX XMLCite

Dirichlet forms. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenne, Italy, June 8-19, 1992. (English) Zbl 0782.00060

Lecture Notes in Mathematics. 1563. Berlin: Springer-Verlag. vii, 245 p. (1993).
PDFBibTeX XMLCite
Full Text: DOI

D-modules, representation theory, and quantum groups. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Venezia, Italy, June 12-20, 1992. (English) Zbl 0782.00093

Lecture Notes in Mathematics. 1565. Berlin: Springer-Verlag. vii, 217 p. (1993).
PDFBibTeX XMLCite
Full Text: DOI

Nonequilibrium problems in many-particle systems. Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini, Italy, June 15-27, 1992. (English) Zbl 0777.00027

Lecture Notes in Mathematics. 1551. Berlin: Springer-Verlag. vii, 158 p. (1993).
MSC:  00B25 82Cxx 82-06
PDFBibTeX XMLCite

Mathematical modelling of industrial processes. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bari, Italy, Sept. 24-29, 1990. (English) Zbl 0752.00057

Lecture Notes in Mathematics. 1521. Berlin etc.: Springer-Verlag. vii, 162 p. (1992).
MSC:  00B25
PDFBibTeX XMLCite

Geometric topology: recent developments. Lectures given on the 1st session of the Centro Internazionale Matematico Estivo (CIME), held at Montecatini Terme, Italy, June 4-12, 1990. (English) Zbl 0746.00065

Lecture Notes in Mathematics. 1504. Berlin etc.: Springer-Verlag. vii, 197 p. (1991).
PDFBibTeX XMLCite

\(H_{\infty{}}\)-control theory. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Como, Italy, June 18-26, 1990. (English) Zbl 0747.00043

Lecture Notes in Mathematics. 1496. Berlin etc.: Springer-Verlag. 336 p. (1991).
MSC:  00B25 93-06
PDFBibTeX XMLCite
Full Text: DOI

Microlocal analysis and applications. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held at Montecatini Terme, Italy, July 3-11, 1989. (English) Zbl 0747.00025

Lecture Notes in Mathematics. 1495. Berlin etc.: Springer-Verlag. vii, 349 p. (1991).
MSC:  00B25 35-06 35S05
PDFBibTeX XMLCite
Full Text: DOI

Global geometry and mathematical physics. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME) held at Montecatini Terme, Italy, July 4-12, 1988. (English) Zbl 0703.00025

Lecture Notes in Mathematics, 1451. Berlin etc.: Springer-Verlag. ix, 197 p. DM 30.00 (1990).
PDFBibTeX XMLCite
Full Text: DOI

Logic and computer science. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988. (English) Zbl 0695.00004

Lecture Notes in Mathematics, 1429. Berlin etc.: Springer-Verlag. 162 p. DM 30.00 (1990).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial optimization. Lectures given at the 3rd session of the Centro Internazionale Matematico Estivo (CIME), held at Como, Italy, August 25 - September 2, 1986. (English) Zbl 0676.00023

Lecture Notes in Mathematics 1403. Berlin etc.: Springer-Verlag. IV, 312 p. DM 53.00 (1989).
MSC:  00B25 90-06
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software