• 1 Citations
  • 1 h-Index
20132014
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Артем Алексеевич Мелентьев is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Regain Engineering & Materials Science
Logic Mathematics
Replacement Mathematics
Multi-modal Logic Mathematics
Trust Management Mathematics
Propositional Logic Mathematics
Linear Time Mathematics
NP-complete problem Mathematics

Research Output 2014 2014

  • 1 Citations
  • 1 h-Index
  • 1 Article
1 Citation (Scopus)

Primal infon logic with conjunctions as sets

Cotrini, C., Gurevich, Y., Lahav, O. & Melentyev, A., 1 Jan 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8705 LNCS, p. 236-249 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Regain
Logic
Replacement
Multi-modal Logic
Trust Management