skip to main content
Language:
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Material Type:
Book 		Add to e-Shelf

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Lomuscio, Alessio ; Nute, Donald Nute, Donald ; Lomuscio, Alessio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Full text available

Citations Cited by
2
Linear Logic in Computer Science
Linear Logic in Computer Science
Linear Logic in Computer Science
Material Type:
Book 		Add to e-Shelf

Linear Logic in Computer Science

William Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.

Cambridge Cambridge University Press 2004

Online access. The library also has physical copies.

3
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Material Type:
Article 		Add to e-Shelf

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Nguyên, Lê Thành Dũng ; Straßburger, Lutz

Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Peer Reviewed Journal]

Logical Methods in Computer Science Association

Full text available

Citations Cited by
4
Dynamic Cantor Derivative Logic
Dynamic Cantor Derivative Logic
Material Type:
Article 		Add to e-Shelf

Dynamic Cantor Derivative Logic

Fernández-Duque, David ; Montacute, Yoàv

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Peer Reviewed Journal]

Logical Methods in Computer Science e.V

Full text available

Citations Cited by
5
Proceedings Fourth Annual Symposium on Logic in Computer Science
Proceedings Fourth Annual Symposium on Logic in Computer Science
Material Type:
Book 		Add to e-Shelf

Proceedings Fourth Annual Symposium on Logic in Computer Science

Symposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Washington, D.C. Computer Society Press 1989

Available at IME - Inst. Matemática e Estatística    (QA11.7.C S989p 4 )(GetIt)

6
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Book 		Add to e-Shelf

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Available at EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(GetIt)

7
text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Material Type:
Article 		Add to e-Shelf

text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity

Cohen, Liron ; Rahli, Vincent

Logical methods in computer science, 2024-06, Vol.20, Issue 2 [Peer Reviewed Journal]

Logical Methods in Computer Science e.V

Full text available

Citations Cited by
8
A duality theoretic view on limits of finite structures: Extended version
A duality theoretic view on limits of finite structures: Extended version
Material Type:
Article 		Add to e-Shelf

A duality theoretic view on limits of finite structures: Extended version

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca

Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Peer Reviewed Journal]

Logical Methods in Computer Science Association

Full text available

Citations Cited by
9
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
Material Type:
Article 		Add to e-Shelf

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

Grädel, Erich ; Lücking, Niels ; Naaf, Matthias

Logical methods in computer science, 2024-03, Vol.20, Issue 1 [Peer Reviewed Journal]

Logical Methods in Computer Science e.V

Full text available

Citations Cited by
10
A coherent differential PCF
A coherent differential PCF
Material Type:
Article 		Add to e-Shelf

A coherent differential PCF

Ehrhard, Thomas

Logical methods in computer science, 2023-10, Vol.19, Issue 4 [Peer Reviewed Journal]

Logical Methods in Computer Science Association

Full text available

Citations Cited by
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Full Text Online (858,709)
  2. Peer-reviewed Journals (534,778)
  3. Available in the Library (535)

Refine My Results

Resource Type 

  1. Articles  (586,683)
  2. Conference Proceedings  (120,324)
  3. Book Chapters  (54,339)
  4. magazinearticle  (38,801)
  5. Newsletter Articles  (21,685)
  6. Reference Entries  (12,481)
  7. Reviews  (10,582)
  8. Books  (10,151)
  9. Reports  (2,215)
  10. Newspaper Articles  (1,118)
  11. Dissertations  (365)
  12. Datasets  (129)
  13. Text Resources  (118)
  14. Standards  (56)
  15. Videos  (49)
  16. Web Resources  (26)
  17. Other  (20)
  18. Images  (20)
  19. Academic Productions  (8)
  20. Archival Material / Manuscripts  (6)
  21. Technical Productions  (3)
  22. Journals  (3)
  23. More options open sub menu

Subject 

  1. Science & Technology  (422,325)
  2. Technology  (340,212)
  3. Computer Science  (245,268)
  4. Engineering  (164,798)
  5. Social Sciences  (99,180)
  6. Engineering, Electrical & Electronic  (95,095)
  7. Physical Sciences  (87,183)
  8. Algorithms  (79,354)
  9. Computer Science, Theory & Methods  (70,512)
  10. Computer Science, Artificial Intelligence  (66,991)
  11. Artificial Intelligence  (65,637)
  12. Life Sciences & Biomedicine  (58,105)
  13. Computer Science, Information Systems  (57,712)
  14. Exact Sciences And Technology  (51,698)
  15. Fuzzy Logic  (51,230)
  16. Mathematics  (48,446)
  17. Software  (46,103)
  18. Studies  (44,486)
  19. Applied Sciences  (42,083)
  20. Logic  (40,762)
  21. Logic Programming  (9,275)
  22. Computer Logic  (1,913)
  23. Logic, Symbolic And Mathematical  (1,455)
  24. Automatic Theorem Proving  (271)
  25. Inteligência Artificial  (152)
  26. Logic, Symbolic And Mathematical  (106)
  27. Logic Programming  (94)
  28. Lógica Matemática  (87)
  29. Lógica Matemática  (73)
  30. Metodologia E Técnicas De Computação  (60)
  31. Inteligência Artificial  (57)
  32. Teoria Da Computação  (51)
  33. Inteligência Artificial (Congressos)  (47)
  34. Automatic Theorem Proving  (44)
  35. Ciência Da Computação  (36)
  36. Técnicas De Programação (Congressos)  (35)
  37. Programação Lógica  (35)
  38. Programação Lógica (Congressos)  (34)
  39. Técnicas De Programação  (33)
  40. Computer Logic  (33)
  41. Lógica Matemática (Congressos)  (31)
  42. Linguagem De Programação  (23)
  43. Linguagem De Programação  (13)
  44. Teoria Da Computação  (9)
  45. Programação Lógica  (9)
  46. Ciência Da Computação  (7)
  47. Técnicas De Programação  (5)
  48. More options open sub menu

Creation Date 

From To
Refine
  1. Before1961  (469)
  2. 1961To1976  (6,239)
  3. 1977To1992  (36,261)
  4. 1993To2009  (270,798)
  5. After 2009  (551,900)
  6. More options open sub menu

Language 

  1. English  (852,173)
  2. Japanese  (31,412)
  3. Spanish  (5,494)
  4. Portuguese  (4,510)
  5. German  (2,164)
  6. French  (1,129)
  7. Chinese  (529)
  8. Russian  (417)
  9. Italian  (416)
  10. Norwegian  (318)
  11. Polish  (156)
  12. Czech  (132)
  13. Turkish  (125)
  14. Croatian  (108)
  15. Korean  (107)
  16. Ukrainian  (99)
  17. Arabic  (97)
  18. Afrikaans  (97)
  19. Lithuanian  (95)
  20. Latvian  (75)
  21. More options open sub menu

Journal Title 

  1. Arxiv.Org  (23,738)
  2. Arxiv  (18,372)
  3. Soft Computing  (8,822)
  4. Electronic Engineering Times  (5,483)
  5. Journal Of Physics. Conference Series  (4,919)
  6. Sensors  (4,806)
  7. Journal Of Physics: Conference Series  (4,613)
  8. Plos One  (4,142)
  9. Electronics  (4,127)
  10. Applied Sciences  (3,771)
  11. Theoretical Computer Science  (2,558)
  12. Electronic Notes In Theoretical Computer Science  (1,709)
  13. Mathematical Structures In Computer Science  (811)
  14. Lecture Notes In Computer Science  (330)
  15. Logic Programming  (39)
  16. Lecture Notes in Computer Science  (18)
  17. Proceedings  (17)
  18. Communications In Computer And Information Science  (10)
  19. Electronic Notes in Theoretical Computer Science  (5)
  20. Lecture Notes In Artificial Intelligence  (4)
  21. Lecture Notes in Artificial Intelligence  (4)
  22. Theoretical Computer Science  (2)
  23. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday  (2)
  24. Journal of Artificial Society and Social Simulation  (2)
  25. Mathematical Structures in Computer Science  (1)
  26. Logic Programming  (1)
  27. Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings  (1)
  28. Proceedings  (1)
  29. Advances in contemporary logic and computer science  (1)
  30. Theoretical computer science Part B Logic, semantics and theory of programming  (1)
  31. The Review Of Modern Logic  (1)
  32. Modern logic  (1)
  33. The review of modern logic  (1)
  34. Communications in Computer and Information Science  (1)
  35. South American Journal of Logic  (1)
  36. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  37. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far