Search Results for Logic

1.

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65941-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Author

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55665-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Author

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61660-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44561-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36039-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40564-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

Author

Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48278-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Maths For Computing A Beginner's Guide

Author

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69234-5

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Author

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2845-2

Format:

Availability

Online Library~1

Available:
Copies:

14.

Formal Concept Analysis Mathematical Foundations

Author

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63422-2

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Author

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71112-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65000-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Description Logics in Multimedia Reasoning

Author

Sikos, Leslie F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54066-5

Format:

Availability

Online Library~1

Available:
Copies:

18.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Author

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55751-8

Format:

Availability

Online Library~1

Available:
Copies:

19.

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Author

Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62809-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Author

Weil, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58747-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Author

Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57418-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Author

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50062-1

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Author

Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-34171-2

Format:

Availability

Online Library~1

Available:
Copies:

24.

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Author

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53132-7

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Author

Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40946-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Author

Skrzypczak, Michał. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52947-8

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Author

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40530-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Author

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30000-9

Format:

Availability

Online Library~1

Available:
Copies:

29.

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Author

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46750-4

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Author

Jamnik, Mateja. editor. Uesaka, Yuri. editor. Elzer Schwartz, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42333-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

Author

Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42634-1

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45641-6

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Author

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29919-8

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Author

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50349-3

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Author

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41114-9

Format:

Availability

Online Library~1

Available:
Copies:

36.

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Availability

Online Library~1

Available:
Copies:

37.

Concise Computer Mathematics Tutorials on Theory and Problems

Author

Bagdasar, Ovidiu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332887.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01751-8

Format:

Availability

Online Library~1

Available:
Copies:

38.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Author

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335202.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45278-9

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Author

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334617.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38536-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39310-5

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40537-2

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40627-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40663-8

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Author

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40672-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Availability

Online Library~1

Available:
Copies:

46.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

47.

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Author

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334666.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38771-5

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Author

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40313-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}