Sign in

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.

Mykola S. NikitchenkoOksana ShkilniakStepan S. Shkilniak
Published in: ICTERI (Revised Selected Papers) (2019)
Keyphrases
  • real world
  • expressive power
  • modal logic
  • higher level
  • levels of abstraction
  • database
  • real time
  • information retrieval
  • search engine
  • test cases
  • computer programs