×

zbMATH — the first resource for mathematics

Found 470 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Rottmann, Michael
Paul Klee’s “Honey-writing”. Some reflections on the relation of automatism, automation, machines and mathematics. (English) Zbl 07290778
Emmer, Michele (ed.) et al., Imagine math 7. Between culture and mathematics. Proceedings of the international conference on mathematics and culture, Venice, Italy, March 29–31, 2019. Cham: Springer (ISBN 978-3-030-42652-1/hbk; 978-3-030-42653-8/ebook). 5-29 (2020).
MSC:  00A66
PDF BibTeX XML Cite
\textit{M. Rottmann}, in: Imagine math 7. Between culture and mathematics. Proceedings of the international conference on mathematics and culture, Venice, Italy, March 29--31, 2019. Cham: Springer. 5--29 (2020; Zbl 07290778)
Full Text: DOI
Alavian, P.; Eun, Yongsoon; Meerkov, S. M.; Zhang, Liang
Programmable manufacturing advisor – a tool for automating decision-making in production systems. (English. Russian original) Zbl 1436.90001
Autom. Remote Control 80, No. 11, 1929-1948 (2019); translation from Avtom. Telemekh. 2019, No. 11, 3-23 (2019).
MSC:  90-02 90B50 90B30 68U35
PDF BibTeX XML Cite
\textit{P. Alavian} et al., Autom. Remote Control 80, No. 11, 1929--1948 (2019; Zbl 1436.90001); translation from Avtom. Telemekh. 2019, No. 11, 3--23 (2019)
Full Text: DOI
Kohl, Christina; Middeldorp, Aart
Composing proof terms. (English) Zbl 07178985
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 337-353 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
\textit{C. Kohl} and \textit{A. Middeldorp}, Lect. Notes Comput. Sci. 11716, 337--353 (2019; Zbl 07178985)
Full Text: DOI
Aristov, N. I.; Chadeev, V. M.
A methodology of automation cost assessment under given defective products probability. (English. Russian original) Zbl 1401.90067
Autom. Remote Control 79, No. 5, 940-946 (2018); translation from Avtom. Prom. 2016, No. 8, 57-60 (2016).
MSC:  90B30 93E03 93E20
PDF BibTeX XML Cite
\textit{N. I. Aristov} and \textit{V. M. Chadeev}, Autom. Remote Control 79, No. 5, 940--946 (2018; Zbl 1401.90067); translation from Avtom. Prom. 2016, No. 8, 57--60 (2016)
Full Text: DOI
Moser, Georg; Schneckenreither, Manuel
Automated amortised resource analysis for term rewrite systems. (English) Zbl 06900734
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 214-229 (2018).
MSC:  68N17 68N18
PDF BibTeX XML Cite
\textit{G. Moser} and \textit{M. Schneckenreither}, Lect. Notes Comput. Sci. 10818, 214--229 (2018; Zbl 06900734)
Full Text: DOI
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef
TacticToe: learning to reason with HOL4 tactics. (English) Zbl 1403.68224
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, 15-143 (2017).
MSC:  68T15 68T05
PDF BibTeX XML Cite
\textit{T. Gauthier} et al., EPiC Ser. Comput. 46, 15--143 (2017; Zbl 1403.68224)
Full Text: DOI
Nakamura, Thiago A.; Palhares, Reinaldo M.; Caminhas, Walmir M.; Menezes, Benjamin R.; de Campos, Mário Cesar M. M.; Fumega, Ubirajara; de M. Bomfim, Carlos H.; Lemos, André P.
Adaptive fault detection and diagnosis using parsimonious Gaussian mixture models trained with distributed computing techniques. (English) Zbl 1398.93324
J. Franklin Inst. 354, No. 6, 2543-2572 (2017).
MSC:  93E10 93C83 65C60 68T05 62H25 62H30
PDF BibTeX XML Cite
\textit{T. A. Nakamura} et al., J. Franklin Inst. 354, No. 6, 2543--2572 (2017; Zbl 1398.93324)
Full Text: DOI
Slama, Franck; Brady, Edwin
Automatically proving equivalence by type-safe reflection. (English) Zbl 1367.68257
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX XML Cite
\textit{F. Slama} and \textit{E. Brady}, Lect. Notes Comput. Sci. 10383, 40--55 (2017; Zbl 1367.68257)
Full Text: DOI
Bittner, Kai; Brachtendorf, Hans Georg
Latency exploitation in wavelet-based multirate circuit simulation. (English) Zbl 1382.65226
Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 13-20 (2016).
MSC:  65L80 34A09 94A12 94C30 65T60
PDF BibTeX XML Cite
\textit{K. Bittner} and \textit{H. G. Brachtendorf}, Math. Ind. 23, 13--20 (2016; Zbl 1382.65226)
Full Text: DOI arXiv
Rapp, Franziska; Middeldorp, Aart
Automating the first-order theory of rewriting for left-linear right-ground rewrite systems. (English) Zbl 1387.68149
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 36, 12 p. (2016).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
\textit{F. Rapp} and \textit{A. Middeldorp}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 36, 12 p. (2016; Zbl 1387.68149)
Full Text: DOI
Aoto, Takahito; Kikuchi, Kentaro
Nominal confluence tool. (English) Zbl 06623260
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 173-182 (2016).
MSC:  68T15
PDF BibTeX XML Cite
\textit{T. Aoto} and \textit{K. Kikuchi}, Lect. Notes Comput. Sci. 9706, 173--182 (2016; Zbl 06623260)
Full Text: DOI
Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart
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
\textit{J. Nagele} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 257--268 (2015; Zbl 1366.68125)
Full Text: DOI
Aharoni, Merav; Boni, Odellia; Freund, Ari; Goren, Lidor; Ibraheem, Wesam; Segev, Tamir
Rectangle placement for VLSI testing. (English) Zbl 06605745
Michel, Laurent (ed.), Integration of AI and OR techniques in constraint programming. 12th international conference, CPAIOR 2015, Barcelona, Spain, May 18–22, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-18007-6/pbk; 978-3-319-18008-3/ebook). Lecture Notes in Computer Science 9075, 18-30 (2015).
MSC:  68T20 90C27
PDF BibTeX XML Cite
\textit{M. Aharoni} et al., Lect. Notes Comput. Sci. 9075, 18--30 (2015; Zbl 06605745)
Full Text: DOI
Gransden, Thomas; Walkinshaw, Neil; Raman, Rajeev
SEPIA: search for proofs using inferred automata. (English) Zbl 06515510
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 (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 246-255 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
\textit{T. Gransden} et al., Lect. Notes Comput. Sci. 9195, 246--255 (2015; Zbl 06515510)
Full Text: DOI
Abdelati, Mohamed; Felgner, Felix; Frey, Georg
A component-oriented model for wastewater pumping plants. (English) Zbl 1418.93020
Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 9th international conference, ICINCO 2012, Rome, Italy, July 28–31, 2012. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 283, 281-295 (2014).
MSC:  93A30 93C15 93C83 93-04
PDF BibTeX XML Cite
\textit{M. Abdelati} et al., Lect. Notes Electr. Eng. 283, 281--295 (2014; Zbl 1418.93020)
Full Text: DOI
Alioli, S.; Badger, S.; Bellm, J.; Biedermann, B.; Boudjema, F.; Cullen, G.; Denner, A.; van Deurzen, H.; Dittmaier, S.; Frederix, R.; Frixione, S.; Garzelli, M. V.; Gieseke, S.; Glover, E. W. N.; Greiner, N.; Heinrich, G.; Hirschi, V.; Höche, S.; Huston, J.; Ita, H.; Kauer, N.; Krauss, F.; Luisoni, G.; Maître, D.; Maltoni, F.; Nason, P.; Oleari, C.; Pittau, R.; Plätzer, S.; Pozzorini, S.; Reina, L.; Reuschle, C.; Robens, T.; Schlenk, J.; Schönherr, M.; Siegert, F.; von Soden-Fraunhofen, J. F.; Tackmann, F.; Tramontano, F.; Uwer, P.; Salam, G.; Skands, P.; Weinzierl, S.; Winter, J.; Yundin, V.; Zanderighi, G.; Zaro, M.
Update of the binoth LES houches accord for a standard interface between Monte Carlo tools and one-loop programs. (English) Zbl 1348.82005
Comput. Phys. Commun. 185, No. 2, 560-571 (2014).
MSC:  82-04 82-08 65C05 82B80 82C80 81V35
PDF BibTeX XML Cite
\textit{S. Alioli} et al., Comput. Phys. Commun. 185, No. 2, 560--571 (2014; Zbl 1348.82005)
Full Text: DOI
Božek, Pavol
Automated detection type body and shape deformation for robotic welding line. (English) Zbl 1426.94009
Świątek, Jerzy (ed.) et al., Advances in systems science. Proceedings of the international conference on systems science 2013 (ICSS 2013), Wroclaw, Poland, September 10–12, 2013. Cham: Springer. Adv. Intell. Syst. Comput. 240, 229-240 (2014).
MSC:  94A08 90B30 90B25
PDF BibTeX XML Cite
\textit{P. Božek}, Adv. Intell. Syst. Comput. 240, 229--240 (2014; Zbl 1426.94009)
Full Text: DOI
Tavares, João Manuel R. S. (ed.); Luo, Xiongbiao (ed.); Li, Shuo (ed.)
Bio-imaging and visualization for patient-customized simulations. Papers based on the presentations at the workshop, held during the 16th international conference on medical image computing and computerr assisted intervention, MICCAI 2013, Nagoya, Japan, September 22–26, 2013. (English) Zbl 1314.92011
Lecture Notes in Computational Vision and Biomechanics 13. Cham: Springer (ISBN 978-3-319-03589-5/hbk; 978-3-319-03590-1/ebook). xiv, 137 p. (2014).
MSC:  92-02 92C55 94A12 00B25
PDF BibTeX XML Cite
\textit{J. M. R. S. Tavares} (ed.) et al., Bio-imaging and visualization for patient-customized simulations. Papers based on the presentations at the workshop, held during the 16th international conference on medical image computing and computerr assisted intervention, MICCAI 2013, Nagoya, Japan, September 22--26, 2013. Cham: Springer (2014; Zbl 1314.92011)
Full Text: DOI
Malecha, Gregory; Chlipala, Adam; Braibant, Thomas
Compositional computational reflection. (English) Zbl 1416.68171
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 374-389 (2014).
MSC:  68T15 68Q60
PDF BibTeX XML Cite
\textit{G. Malecha} et al., Lect. Notes Comput. Sci. 8558, 374--389 (2014; Zbl 1416.68171)
Full Text: DOI
Sternagel, Thomas; Middeldorp, Aart
Conditional confluence (system description). (English) Zbl 1416.68181
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 456-465 (2014).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
\textit{T. Sternagel} and \textit{A. Middeldorp}, Lect. Notes Comput. Sci. 8560, 456--465 (2014; Zbl 1416.68181)
Full Text: DOI
Hirokawa, Nao; Moser, Georg
Automated complexity analysis based on context-sensitive rewriting. (English) Zbl 1416.68092
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 257-271 (2014).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
\textit{N. Hirokawa} and \textit{G. Moser}, Lect. Notes Comput. Sci. 8560, 257--271 (2014; Zbl 1416.68092)
Full Text: DOI
Graeser, Olaf; Kumar, Barath; Niggemann, Oliver; Moriz, Natalia; Maier, Alexander
AutomationML as a shared model for offline- and realtime-simulation of production plants and for anomaly detection. (English) Zbl 1308.93171
Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 8th international conference, ICINCO 2011, Noordwijkerhout, The Netherland, July 28–31, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31352-3/hbk; 978-3-642-31353-0/ebook). Lecture Notes in Electrical Engineering 174, 195-209 (2013).
MSC:  93C95 90B25 90B30
PDF BibTeX XML Cite
\textit{O. Graeser} et al., Lect. Notes Electr. Eng. 174, 195--209 (2013; Zbl 1308.93171)
Full Text: DOI
Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Mtac: a monad for typed tactic programming in Coq. (English) Zbl 1323.68236
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 87-100 (2013).
MSC:  68N30 68T15
PDF BibTeX XML Cite
\textit{B. Ziliani} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 87--100 (2013; Zbl 1323.68236)
Full Text: DOI
Weimer, James; Araujo, José; Amoozadeh, Mani; Ahmadi, Seyed Alireza; Sandberg, Henrik; Johansson, Karl Henrik
Parameter-invariant actuator fault diagnostics in cyber-physical systems with application to building automation. (English) Zbl 1300.94132
Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 179-196 (2013).
MSC:  94C12 93C95
PDF BibTeX XML Cite
\textit{J. Weimer} et al., Lect. Notes Control Inf. Sci. 449, 179--196 (2013; Zbl 1300.94132)
Full Text: DOI
Yen, Lily
Arc-coloured permutations. (English) Zbl 1294.05009
Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 743-754, electronic only (2013).
MSC:  05A05
PDF BibTeX XML Cite
\textit{L. Yen}, in: Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24--28, 2013. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 743--754 (2013; Zbl 1294.05009)
Full Text: Link
Růžička, Michal; Sojka, Petr; Krejčíř, Vlastimil
Towards machine-actionable modules of a digital mathematics library. The example of DML-CZ. (English) Zbl 1353.68290
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 263-277 (2013).
MSC:  68U35
PDF BibTeX XML Cite
\textit{M. Růžička} et al., Lect. Notes Comput. Sci. 7961, 263--277 (2013; Zbl 1353.68290)
Full Text: DOI
Fuhs, Carsten; Kop, Cynthia
Polynomial interpretations for higher-order rewriting. (English) Zbl 1437.68080
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 176-192 (2012).
MSC:  68Q42 68N18
PDF BibTeX XML Cite
\textit{C. Fuhs} and \textit{C. Kop}, LIPIcs -- Leibniz Int. Proc. Inform. 15, 176--192 (2012; Zbl 1437.68080)
Full Text: DOI
Sternagel, Thomas; Zankl, Harald
KBCV – Knuth-Bendix completion visualizer. (English) Zbl 1358.68160
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 530-536 (2012).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
\textit{T. Sternagel} and \textit{H. Zankl}, Lect. Notes Comput. Sci. 7364, 530--536 (2012; Zbl 1358.68160)
Full Text: DOI
Quesel, Jan-David; Platzer, André
Playing hybrid games with KeYmaera. (English) Zbl 1358.68261
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 439-453 (2012).
MSC:  68T15 03B60 68T40
PDF BibTeX XML Cite
\textit{J.-D. Quesel} and \textit{A. Platzer}, Lect. Notes Comput. Sci. 7364, 439--453 (2012; Zbl 1358.68261)
Full Text: DOI
Bieniasz, Lesław K.
Automatic simulation of electrochemical transients by the adaptive Huber method for Volterra integral equations involving kernel terms \(\exp[ -\alpha (t - \tau )]\text{erex} \{[\beta (t - \tau )]^{1/2}\}\) and \(\exp[ - \alpha (t - \tau )]\text{daw} \{[\beta (t - \tau )]^{1/2}\}\). (English) Zbl 1310.65163
J. Math. Chem. 50, No. 4, 765-781 (2012).
MSC:  65R20 45D05 45H05 78A57
PDF BibTeX XML Cite
\textit{L. K. Bieniasz}, J. Math. Chem. 50, No. 4, 765--781 (2012; Zbl 1310.65163)
Full Text: DOI
Deschamps, Jean-Pierre; Sutter, Gustavo D.; Cantó, Enrique
Guide to FPGA implementation of arithmetic functions. (English) Zbl 1278.68026
Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469 p. (2012).
Reviewer: Antoni Michalski (Warszawa)
MSC:  68-06 94-06 68-00 94-00 94C10
PDF BibTeX XML Cite
\textit{J.-P. Deschamps} et al., Guide to FPGA implementation of arithmetic functions. Dordrecht: Springer (2012; Zbl 1278.68026)
Full Text: DOI
Dietrich, Manfred (ed.); Haase, Joachim (ed.)
Process variations and probabilistic integrated circuit design. (English) Zbl 1246.82002
New York, NY: Springer (ISBN 978-1-4419-6620-9/hbk; 978-1-4419-6621-6/ebook). xvi, 249 p. (2012).
Reviewer: Vittorio Romano (Catania)
MSC:  82-06 82D37 82D80 78A55 94C05 00B15
PDF BibTeX XML Cite
\textit{M. Dietrich} (ed.) and \textit{J. Haase} (ed.), Process variations and probabilistic integrated circuit design. New York, NY: Springer (2012; Zbl 1246.82002)
Full Text: DOI
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart
Beyond Peano arithmetic – automatically proving termination of the Goodstein sequence. (English) Zbl 1356.68206
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 335-351 (2013).
MSC:  68T15 03B35 68Q42
PDF BibTeX XML Cite
\textit{S. Winkler} et al., LIPIcs -- Leibniz Int. Proc. Inform. 21, 335--351 (2011; Zbl 1356.68206)
Full Text: DOI
Avanzini, Martin; Moser, Georg
Tyrolean Complexity Tool: features and usage. (English) Zbl 1356.68093
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 71-80 (2013).
MSC:  68Q25 68N30 68Q42
PDF BibTeX XML Cite
\textit{M. Avanzini} and \textit{G. Moser}, LIPIcs -- Leibniz Int. Proc. Inform. 21, 71--80 (2011; Zbl 1356.68093)
Full Text: DOI
Avanzini, Martin; Moser, Georg
A combination framework for complexity. (English) Zbl 1356.68092
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 55-70 (2013).
MSC:  68Q25 68N30 68Q42
PDF BibTeX XML Cite
\textit{M. Avanzini} and \textit{G. Moser}, LIPIcs -- Leibniz Int. Proc. Inform. 21, 55--70 (2011; Zbl 1356.68092)
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
all top 3
Software