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

6 367 (0,1s) •

Result

Kleene posets and pseudo-Kleene posets

Pure mathematics

  • 2022
    • •
  • Jimp
    • •
  • Link
Result

Residuation in twist products and pseudo-Kleene posets

Pure mathematics

  • 2022
    • •
  • Jimp
    • •
  • Link
Result

Representability of Kleene Posets and Kleene Lattices

Pure mathematics

  • 2024
    • •
  • Jimp
    • •
  • Link
Result

A note on pseudo-Kleene algebras

BA - Obecná matematika

  • 2016
    • •
  • Jx
    • •
  • Link
Result

Implication in Sharply Paraorthomodular and Relatively Paraorthomodular Posets

Pure mathematics

  • 2024
    • •
  • C
    • •
  • Link
Result

Residuated operators in complemented posets

Pure mathematics

  • 2018
    • •
  • JSC
    • •
  • Link
Result

Left residuated operators induced by posets with a unary operation

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
    • •
  • Jimp
    • •
  • Link
Result

On the Complexity of Kleene Algebra with Domain

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023
    • •
  • D
    • •
  • Link
Result

Aesthetic Universals in Neil Gaiman’s Post-Postmodern Mythmaking

Literary theory

  • 2019
    • •
  • Jost
    • •
  • Link
Result

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Test

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 6 367