Limit Search Results
Author
SpringerLink (Online service)
(124)
Crespi Reghizzi, Stefano. author.
(3)
Dressler, Wolfgang U., contributor.
(3)
Levelt, W. J., author.
(3)
Martín-Vide, Carlos. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(51)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
172 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages
Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages
Author 
Ackermann-Boström, Constanze, contributor. Barutçuoğlu, Nazlı Deniz, contributor. Costley, Tracey, contributor. Fazzi, Fabiana, contributor. Ferrara, Lindsay, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110794670
https://www.degruyter.com/isbn/9783110794670
Cover https://www.degruyter.com/document/cover/isbn/9783110794670/original
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Prolog: The Next 50 Years
Prolog: The Next 50 Years
Author 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Author 
Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33264-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
Author 
Fornasiero, Elena, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110783445
https://www.degruyter.com/isbn/9783110783445
Cover https://www.degruyter.com/document/cover/isbn/9783110783445/original
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computers in Language Research
Computers in Language Research
Author 
Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783112419588
https://www.degruyter.com/isbn/9783112419588
Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Here - Hither - Hence and Related Categories : A Cross-linguistic Study
Here - Hither - Hence and Related Categories : A Cross-linguistic Study
Author 
Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110672640
https://www.degruyter.com/isbn/9783110672640
Cover https://www.degruyter.com/document/cover/isbn/9783110672640/original
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Handbook of Home Language Maintenance and Development : Social and Affective Factors
Handbook of Home Language Maintenance and Development : Social and Affective Factors
Author 
Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781501510175
https://www.degruyter.com/isbn/9781501510175
Cover https://www.degruyter.com/document/cover/isbn/9781501510175/original
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action