All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

3 613 (0,097s) •

Project

Applications of Algebra and Combinatorics in Formal Language Theory (GA15-02862S)

of three important open problems in formal language theory, namely, decidability in formal language theory. The output will consist of scientific publications, which and solvability of langua...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 3 203 tis. Kč
    • •
  • 3 203 tis. Kč
    • •
  • GA ČR
Project

Formal and software tools for study of languages (GA201/99/0236)

The purpose of the project is: a) To develop the theory of automata (especially automata with an operation restart), the theory of formal languages (in particular languages defined by less common forms, e....

JD - Využití počítačů, robotika a její aplikace

  • 1999 - 2001
    • •
  • 877 tis. Kč
    • •
  • 780 tis. Kč
    • •
  • GA ČR
Project

Effective characterizations of classes of finite semigroups and formal languages (GA19-12790S)

of potential applications to other questions studied in formal language theory. The output of important questions in the theory of regular languages and finite semigroups, namely, decidability of concaten...

Pure mathematics

  • 2019 - 2023
    • •
  • 3 899 tis. Kč
    • •
  • 3 560 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in automata and formal language theory (GA201/06/0936)

The project is aimed to develop algebraic methods in formal language theory languages like (ordered) syntactic monoids, syntactic semirings, syntactic homomorphisms, syntactic semirings with the image of the la...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Project

Logical Foundation of Semantics (GA401/99/0619)

to distribute to the development of formal semantics, logical analysis of natural language of natural language - the interface between semantics, epistemology and the theory, significant results are especially the...

AA - Filosofie a náboženství

  • 1999 - 2001
    • •
  • 1 228 tis. Kč
    • •
  • 910 tis. Kč
    • •
  • GA ČR
Project

Algebraic Methods in Automata and Formal Language Theory II (GA201/09/1313)

The project develops the algebraic methods in formal language theory. We will further investigate the classes of syntactic structures of regular languages like of effective characterizations of membership to import...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Project

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

and cognitive science, between model theory and proof theory, between informal and formal with language and reasoning. We will build on our previous research focused on the analysis of the fundamental concepts of ...

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 tis. Kč
    • •
  • GA ČR
Project

Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes (GA401/07/0904)

of formal logic to analysis of natural language including formal representationThe project's central theme is logical analysis. The research advanced within the project will concentrate on foundational issues in the th...

AA - Filosofie a náboženství

  • 2007 - 2009
    • •
  • 2 580 tis. Kč
    • •
  • 2 580 tis. Kč
    • •
  • GA ČR
Project

Multi-information technologies Theory, models, and methods (GA201/07/0005)

, the foundations of multi-information technologies will be explored in terms of the formal language theory. More specifically, this approach will be based on a to achieve well-explained theoretical foundations, adequate

BD - Teorie informace

  • 2007 - 2009
    • •
  • 1 550 tis. Kč
    • •
  • 1 550 tis. Kč
    • •
  • GA ČR
Project

Approximate reasoning and generalized quantifiers (GA201/04/1033)

of natural language, formalization within fuzzy intensional logic, (c) approximateThe general goal of this grant is to continue development of the theory on solution of the following problems: 1. Extension of fuzzy logic t...

BA - Obecná matematika

  • 2004 - 2006
    • •
  • 1 180 tis. Kč
    • •
  • 1 180 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 3 613