Showing 1 - 20 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.13s Refine Results
  1. 1
    Formal Languages and Compilation
    Table of Contents: “...Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata...”
    Get full text
    eBook
  2. 2
    Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG...”
    Get full text
    eBook
  3. 3
    Mathematical Logic Foundations for Information Science /
    by Li, Wei
    Published in Springer eBooks (2014)
    Table of Contents: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
    Get full text
    eBook
  4. 4
    The Language of Mathematics A Linguistic and Philosophical Investigation /
    by Ganesalingam, Mohan
    Published in Springer eBooks (2013)
    Table of Contents: “... Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure...”
    Get full text
    eBook
  5. 5
    Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
    by Cate, Balder D.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  6. 6
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  7. 7
    Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... of Logic) -- Binding – Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2...”
    Get full text
    eBook
  8. 8
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun...”
    Get full text
    eBook
  9. 9
    Logicism, Intuitionism, and Formalism What has Become of Them? /
    by Hendricks, Vincent F.
    Published in Springer eBooks (2009)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  10. 10
    New Developments in Formal Languages and Applications
    by Bel-Enguix, Gemma
    Published in Springer eBooks (2008)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  11. 11
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”
    Get full text
    eBook
  12. 12
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... and Projection Temporal Logic to Reason About Non-blocking Concurrency -- Semantics and Analysis Formal Semantics...”
    Get full text
    eBook
  13. 13
    Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
    by Leivant, Daniel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 14
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
    Get full text
    eBook
  15. 15
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  16. 16
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  17. 17
    Games: Unifying Logic, Language, and Philosophy
    by Rahman, Shahid
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  18. 18
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”
    Get full text
    eBook
  19. 19
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Table of Contents: “...Preface -- Part 1. Elements of Formal Action Theory -- Chapter 1. Elementary Action Systems...”
    Get full text
    eBook
  20. 20
    Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
    by Hodges, Wilfrid
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
Search Tools: Get RSS Feed