×

Found 141 Documents (Results 1–100)

100
MathJax

A potential benefit of increasing book-tax conformity: evidence from the reduction in audit fees. (English) Zbl 1454.91137

Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 1. Hackensack, NJ: World Scientific. 151-197 (2021).
MSC:  91B64
PDF BibTeX XML Cite
Full Text: DOI

Indexed and fibred structures for Hoare logic. (English) Zbl 07297795

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 125-145 (2020).
MSC:  03B70 03G30
PDF BibTeX XML Cite
Full Text: DOI

Asymmetric combination of logics is functorial: a survey. (English) Zbl 07152401

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, 39-55 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Building and integrating semantic theories over institutions. (English) Zbl 1439.68015

Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017).
MSC:  68Q65 03C95 18C50
PDF BibTeX XML Cite
Full Text: DOI

Revisiting the institutional approach to Herbrand’s theorem. (English) Zbl 1433.03166

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 35, 304-319 (2015).
MSC:  03G30 68N17 68Q65
PDF BibTeX XML Cite
Full Text: DOI

An institution for Object-Z with inheritance and polymorphism. (English) Zbl 1453.68043

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 134-154 (2015).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Logical foundations of services. (English) Zbl 1281.68158

Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26–27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs – OpenAccess Series in Informatics 35, 111-118, electronic only (2013).
MSC:  68Q65 03B70
PDF BibTeX XML Cite
Full Text: DOI

Hybrid specification of reactive systems: an institutional approach. (English) Zbl 1350.68190

Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 269-285 (2011).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Hybridization of institutions. (English) Zbl 1343.03052

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 283-297 (2011).
MSC:  03G30 03B45 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Integrating Maude into Hets. (English) Zbl 1308.68075

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011).
MSC:  68Q65 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI

What is a logic? In memoriam Joseph Goguen. 2nd revised ed. (English) Zbl 1143.03356

Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 978-3-7643-8353-4/pbk). 111-133 (2007).
MSC:  03C95 18A15 03G30
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