×

Found 3,708 Documents (Results 1–100)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. arXiv:2402.12051

Preprint, arXiv:2402.12051 [math.CT] (2024).
BibTeX Cite
Full Text: arXiv

Solving constrained Horn clauses over algebraic data types. (English) Zbl 07728627

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).
MSC:  68Q60 03B70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Symmetric transrationals: the data type and the algorithmic degree of its equational theory. (English) Zbl 1524.68199

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 63-80 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Stick breaking, in coalgebra and probability. (English) Zbl 07628072

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 176-193 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Corecursive algebras in nature. (English) Zbl 07628071

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 155-175 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Corecursion up-to via causal transformations. (English) Zbl 07628070

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Algebraic presentation of semifree monads. (English) Zbl 07628069

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 110-132 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Saturated Kripke structures as Vietoris coalgebras. (English) Zbl 07628068

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 88-109 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

A categorical framework for learning generalised tree automata. (English) Zbl 07628067

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 67-87 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coalgebraic semantics for nominal automata. (English) Zbl 07628066

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 45-66 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Discrete density comonads and graph parameters. (English) Zbl 07628065

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 23-44 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic. (English) Zbl 07628064

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 1-22 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. (English) Zbl 1499.68017

Lecture Notes in Computer Science 13225. Cham: Springer (ISBN 978-3-031-10735-1/pbk; 978-3-031-10736-8/ebook). xvii, 195 p. (2022).
MSC:  68-06 68Q65 00B25
PDFBibTeX XMLCite
Full Text: DOI

Integrating ADTs in KeY and their application to history-based reasoning. (English) Zbl 1521.68076

Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 255-272 (2021).
MSC:  68Q60 68Q65 68V15
PDFBibTeX XMLCite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021).
MSC:  68Q85 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Multi-valued variational inequalities and inclusions. (English) Zbl 1462.49001

Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-030-65164-0/hbk; 978-3-030-65167-1/pbk; 978-3-030-65165-7/ebook). xvii, 584 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Reconfigurable lattice agreement and applications. (English) Zbl 1504.68017

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 31, 17 p. (2020).
MSC:  68M14 68N19 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020).
MSC:  68Q65 18C50 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

A categorical approach to secure compilation. (English) Zbl 07314153

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

De Finetti’s construction as a categorical limit. (English) Zbl 07314150

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 90-111 (2020).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. (English) Zbl 1454.68013

Lecture Notes in Computer Science 12094. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). xv, 201 p. (2020).
MSC:  68-06 68Q65 00B25
PDFBibTeX XMLCite
Full Text: DOI

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Composing bidirectional programs monadically. (English) Zbl 1524.68062

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 147-175 (2019).
MSC:  68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data types as quotients of polynomial functors. (English) Zbl 07649955

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 6, 19 p. (2019).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Martin Hofmann’s case for non-strictly positive data types. (English) Zbl 07561486

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 1, 22 p. (2019).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Term charters. (English) Zbl 1444.68085

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDFBibTeX XMLCite
Full Text: DOI Link

Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDFBibTeX XMLCite
Full Text: DOI

A proof score approach to formal verification of an imperative programming language compiler. (English) Zbl 1504.68037

Tian, Cong (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10795, 200-217 (2018).
MSC:  68N20 68N15 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Near distributive laws. (English) Zbl 1527.68135

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 277-295 (2018).
MSC:  68Q65 18C15
PDFBibTeX XMLCite
Full Text: DOI

The beta-Bernoulli process and algebraic effects. (English) Zbl 1499.68068

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 141, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Highlights of the Rice-Shapiro theorem in computable topology. (English) Zbl 1461.03039

Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 241-255 (2018).
PDFBibTeX XMLCite
Full Text: DOI

A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hierarchical specification and verification of architectural design patterns. (English) Zbl 1425.68272

Russo, Alessandra (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 10802, 149-168 (2018).
MSC:  68Q65 68T15
PDFBibTeX XMLCite
Full Text: DOI

Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 1519.68148

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 214-234 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 1519.68147

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 78-99 (2018).
MSC:  68Q65 18C50 90C40
PDFBibTeX XMLCite
Full Text: DOI Link

Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 1519.68146

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 56-77 (2018).
MSC:  68Q65 03G30 18C50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Undecidability of equality for codata types. (English) Zbl 1519.68145

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65 03B70 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

Datatypes with shared selectors. (English) Zbl 1511.68175

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 591-608 (2018).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Superposition with datatypes and codatatypes. (English) Zbl 1511.68304

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 370-387 (2018).
MSC:  68V15 68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

Boosting the reuse of formal specifications. (English) Zbl 1452.68263

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 477-494 (2018).
MSC:  68V15 08A70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Relational parametricity and quotient preservation for modular (co)datatypes. (English) Zbl 1511.68174

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 411-431 (2018).
MSC:  68Q65 68V20
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. (English) Zbl 1396.68009

Lecture Notes in Computer Science 11202. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). ix, 235 p. (2018).
MSC:  68-06 68Q65 00B25
PDFBibTeX XMLCite
Full Text: DOI

Heterogeneous substitution systems revisited. (English) Zbl 1433.68220

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 2, 23 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Graph operations and free graph algebras. (English) Zbl 1383.68049

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, 313-331 (2018).
PDFBibTeX XMLCite
Full Text: DOI

On normal forms for structured specifications with generating constraints. (English) Zbl 1383.68051

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, 266-284 (2018).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

The Verigraph system for graph transformation. (English) Zbl 1383.68041

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, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042

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, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

Distributive laws for monotone specifications. (English) Zbl 1483.68182

Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017).
MSC:  68Q55 18C15 68Q65
PDFBibTeX XMLCite
Full Text: arXiv Link

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

Biographic Reference

all top 3

Software