×

Found 9,296 Documents (Results 601–700)

Optimized program extraction for induction and coinduction. (English) Zbl 1509.03089

Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 70-80 (2018).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

libtropicon: a scalable library for computing intersection points of generic tropical hyper-surfaces. (English) Zbl 1396.14004

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 105-112 (2018).
MSC:  14-04 14T05 65Y10 68W30 68W10 14Q99
PDFBibTeX XMLCite
Full Text: DOI

Inferring safe Maude programs with ÁTAME. (English) Zbl 1395.68080

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 1-10 (2018).
MSC:  68N15 68-04 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

A type theory for probabilistic and Bayesian reasoning. (English) Zbl 1433.68264

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. (English) Zbl 1392.68012

LIPIcs – Leibniz International Proceedings in Informatics 107. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-076-7). xlvii, 165 articles, not consecutively paged, electronic only, open access (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Advances in databases and information systems. 22nd European conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018. Proceedings. (English) Zbl 1393.68011

Lecture Notes in Computer Science 11019. Cham: Springer (ISBN 978-3-319-98397-4/pbk; 978-3-319-98398-1/ebook). xxii, 291 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. (English) Zbl 1392.68033

Electronic Notes in Theoretical Computer Science 336. Amsterdam: Elsevier. 314 p., electronic only (2018).
PDFBibTeX XMLCite
Full Text: Link

Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. (English) Zbl 1392.68032

Electronic Notes in Theoretical Computer Science 334. Amsterdam: Elsevier. 44 p., electronic only (2018).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: Link

The effects of adding reachability predicates in propositional separation logic. (English) Zbl 1504.68128

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 476-493 (2018).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. (English) Zbl 1391.68007

Lecture Notes in Computer Science 10951. Cham: Springer (ISBN 978-3-319-95581-0/pbk; 978-3-319-95582-7/ebook). xiv, 692 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

On preparing the super instruction architecture and ACES4 for future computer systems. (English) Zbl 1395.81007

Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 151-169 (2018).
MSC:  81-04 68M07 68W10
PDFBibTeX XMLCite

NAMD: scalable molecular dynamics based on the charm++ parallel runtime system. (English) Zbl 1395.92003

Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 119-143 (2018).
MSC:  92-04 92-08 68W10
PDFBibTeX XMLCite

Exposing hierarchical parallelism in the FLASH code for supernova simulation on summit and other architectures. (English) Zbl 1395.85002

Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 95-118 (2018).
MSC:  85-04 68W10
PDFBibTeX XMLCite

Software engineering and formal methods. 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27–29, 2018. Proceedings. (English) Zbl 1390.68023

Lecture Notes in Computer Science 10886. Cham: Springer (ISBN 978-3-319-92969-9/pbk; 978-3-319-92970-5/ebook). xiv, 303 p. (2018).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. (English) Zbl 1390.68021

Lecture Notes in Computer Science 10869. Cham: Springer (ISBN 978-3-319-94110-3/pbk; 978-3-319-94111-0/ebook). xvi, 347 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. (English) Zbl 1392.68017

Lecture Notes in Computer Science 10855. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). xvi, 341 p. (2018).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: DOI

OntoDebug: interactive ontology debugging plug-in for Protégé. (English) Zbl 1508.68009

Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 340-359 (2018).
MSC:  68-04 68T30
PDFBibTeX XMLCite
Full Text: DOI

Haydi: rapid prototyping and combinatorial objects. (English) Zbl 1508.68008

Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 133-149 (2018).
MSC:  68-04 68R05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5–8, 2018. Proceedings. (English) Zbl 1387.68015

Lecture Notes in Computer Science 10817. Cham: Springer (ISBN 978-3-319-91270-7/pbk; 978-3-319-91271-4/ebook). xiv, 432 p. (2018).
MSC:  68-06 68N01 68Q05 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. (English) Zbl 1387.68022

Lecture Notes in Computer Science 10833. Cham: Springer (ISBN 978-3-319-90049-0/pbk; 978-3-319-90050-6/ebook). xxii, 401 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. (English) Zbl 1392.68035

LIPIcs – Leibniz International Proceedings in Informatics 69. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-030-9). xii, 9 articles, not consecutively paged, electronic only, open access (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. (English) Zbl 1388.68010

LIPIcs – Leibniz International Proceedings in Informatics 93. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). viii, 47 articles, not consecutively paged, electronic only, open access (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1408.68004

Lecture Notes in Computer Science 10801. Cham: Springer (ISBN 978-3-319-89883-4/pbk; 978-3-319-89884-1/ebook). xvi, 1058 p. (2018).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1386.68002

Lecture Notes in Computer Science 10803. Cham: Springer (ISBN 978-3-319-89365-5/pbk; 978-3-319-89366-2/ebook). xv, 583 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1408.68023

Lecture Notes in Computer Science 10802. Cham: Springer (ISBN 978-3-319-89362-4/pbk; 978-3-319-89363-1/ebook). xii, 357 p. (2018).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. (English) Zbl 1405.68010

Lecture Notes in Computer Science 9715. Cham: Springer (ISBN 978-3-319-79107-4/pbk; 978-3-319-79108-1/ebook). ix, 189 p. (2018).
MSC:  68-06 68N01 00B15
PDFBibTeX XMLCite
Full Text: DOI

Handbook of floating-point arithmetic. 2nd edition. (English) Zbl 1394.65001

Cham: Birkhäuser (ISBN 978-3-319-76525-9/hbk; 978-3-319-76526-6/ebook). xxv, 627 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Towards the automated generation of consistent, diverse, scalable and realistic graph models. (English) Zbl 1383.68027

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, 285-312 (2018).
MSC:  68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI Link

Parallel computing is everywhere. Selected papers based on the presentations at the international parallel computing conference (ParCo2017), Bologna, Italy, September 12–15, 2017. (English) Zbl 1381.68001

Advances in Parallel Computing 32. Amsterdam: IOS Press (ISBN 978-1-61499-842-6/hbk; 978-1-61499-843-3/ebook). 852 p. (2018).
PDFBibTeX XMLCite
Full Text: Link

Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. (English) Zbl 1383.68006

Lecture Notes in Computer Science 10800. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). xiv, 333 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. (English) Zbl 1461.68007

Lecture Notes in Computer Science 10729. Cham: Springer (ISBN 978-3-319-74780-4/pbk; 978-3-319-74781-1/ebook). x, 592 p. (2018).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. (English) Zbl 1409.68026

Lecture Notes in Computer Science 10706. Cham: Springer (ISBN 978-3-319-73116-2/pbk; 978-3-319-73117-9/ebook). xv, 698 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Sharper and simpler nonlinear interpolants for program verification. (English) Zbl 1503.68184

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 491-513 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Programming and proving with classical types. (English) Zbl 1503.68046

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 215-234 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Decision procedure for entailment of symbolic heaps with arrays. (English) Zbl 1503.68045

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 169-189 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A secure and efficient implementation of the quotient digital signature algorithm (qDSA). (English) Zbl 1506.94079

Ali, Sk Subidh (ed.) et al., Security, privacy, and applied cryptography engineering. 7th international conference, SPACE 2017, Goa, India, December 13–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10662, 170-189 (2017).
MSC:  94A62 94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

A new invariant rule for the analysis of loops with non-standard control flows. (English) Zbl 1498.68083

Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 279-294 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

On Kleene algebras for weighted computation. (English) Zbl 1498.68075

Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 271-286 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

Propagating maximum capacities for recommendation. (English) Zbl 1498.68310

Kern-Isberner, Gabriele (ed.) et al., KI 2017: advances in artificial intelligence. 40th annual German conference on AI, Dortmund, Germany, September 25–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10505, 72-84 (2017).
MSC:  68T35 68R10 68W27
PDFBibTeX XMLCite
Full Text: DOI

A decidable fragment in separation logic with inductive predicates and arithmetic. (English) Zbl 1497.03048

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 495-517 (2017).
MSC:  03B70 03B25 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Starling: lightweight concurrency verification with views. (English) Zbl 1494.68065

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 544-569 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Repairing decision-making programs under uncertainty. (English) Zbl 1494.68046

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 181-200 (2017).
MSC:  68N30 68Q87 68T05
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Bounded quantifier instantiation for checking inductive invariants. (English) Zbl 1452.68119

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 76-95 (2017).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A strategy for dynamic programs: start over and muddle through. (English) Zbl 1442.68033

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Generic Hoare logic for order-enriched effects with exceptions. (English) Zbl 1496.68117

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 208-222 (2017).
MSC:  68N30 03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

Observational semantics for dynamic logic with binders. (English) Zbl 1496.68109

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 135-152 (2017).
MSC:  68N30 03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

Combining forward and backward abstract interpretation of Horn clauses. (English) Zbl 1420.68062

Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 23-45 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proving uniformity and independence by self-composition and coupling. (English) Zbl 1403.68140

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, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra. (English) Zbl 1400.16001

Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 455-480 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Local to global algorithms for the Gorenstein adjoint ideal of a curve. (English) Zbl 1402.14076

Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 51-96 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. (English) Zbl 1398.68033

Lecture Notes in Computer Science 10606. Cham: Springer (ISBN 978-3-319-69482-5/pbk; 978-3-319-69483-2/ebook). xviii, 351 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

The EfProb library for probabilistic calculations. (English) Zbl 1433.68266

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 25, 8 p. (2017).
MSC:  68Q87 18C20 68-04
PDFBibTeX XMLCite
Full Text: DOI

Jdrasil: a modular library for computing tree decompositions. (English) Zbl 1433.68275

Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 28, 21 p. (2017).
MSC:  68R10 68-04 68W99
PDFBibTeX XMLCite
Full Text: DOI

Abstract similarity analysis. (English) Zbl 1412.68037

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 87-99 (2017).
MSC:  68N30 68Q60 68R10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software