Showing 101 - 120 results of 142 for search '"Formal languages."', query time: 0.05s Refine Results
  1. 101
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    by Abramsky, Samson, 1953-
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  2. 102
    Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
    by Calude, Cristian S
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  3. 103
    Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
    by Siegler, Simon
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  4. 104
    Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
    by Gavrilova, Marina L
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  5. 105
    Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
    by McBurney, Peter
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  6. 106
    The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
    by Ebert, Christian
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  7. 107
    Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings
    by Croitoru, Madalina
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  8. 108
    Transactions on Rough Sets XI
    by Peters, James F
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  9. 109
    Transactions on Rough Sets XII
    by Peters, James F
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  10. 110
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    by Dix, JΓΌrgen
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  11. 111
    Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
    by Ferreira, Fernando
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  12. 112
    Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
    by Kaplan, Haim
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  13. 113
    Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
    by Puppis, Gabriele
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  14. 114
    Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
    by MΓΌller-Hannemann, Matthias
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  15. 115
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
    by Dawar, Anuj
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  16. 116
    Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
    by Dediu, Adrian-Horia
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  17. 117
    Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
    by Link, Sebastian
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  18. 118
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    by Schmid, Ute
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  19. 119
    Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
    by Yu, Jian
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  20. 120
    Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II
    by HΓΌllermeier, Eyke
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search