Piese litice descoperite în aşezările culturilor
Noua-Sabatinovka din spaţiul Pruto-Nistrean

Nikitcenko Micola
44 cuvinte-cheie
Distribuirea publicaţiilor pe cuvinte-cheie şi ani

Nr.	Cuvinte-cheie	Total pe autor	Total în IBN	2019	2018	2017	2016	2015	2014	2013	2012
1	Algebraic system	2	4	-	-	-	-	2	-	-	-
2	algorithmic algebras	1	1	-	-	-	1	-	-	-	-
3	algorithmic algebras	1	1	-	-	-	1	-	-	-	-
4	alternative set theories	1	1	-	-	-	-	-	-	-	1
5	classical predicate logic	1	1	-	-	1	-	-	-	-	-
6	closed intervals	2	2	-	-	-	-	2	-	-	-
7	composition	2	127	-	-	-	2	-	-	-	-
8	composition-nominative logics	1	1	-	-	-	-	1	-	-	-
9	computability	1	1	-	-	-	1	-	-	-	-
10	effective definitional scheme	1	1	-	-	-	1	-	-	-	-
11	First-order logic	5	5	-	1	2	-	2	-	-	-
12	Formal methods	2	3	-	1	1	-	-	-	-	-
13	formalization	2	5	-	1	1	-	-	-	-	-
14	free logic	1	1	-	1	-	-	-	-	-	-
15	Friedman scheme	1	1	-	-	-	1	-	-	-	-
16	Institutions	1	43	-	-	-	-	1	-	-	-
17	intensionality	1	2	-	-	-	-	-	-	-	1
18	irrefutability	1	1	-	-	-	-	1	-	-	-
19	lattice theory	2	2	-	-	-	-	2	-	-	-
20	linear ordering	1	1	-	-	1	-	-	-	-	-
21	lower and upper cones	2	2	-	-	-	-	2	-	-	-
22	lower semilattice	2	2	-	-	-	-	2	-	-	-
23	model	1	159	-	-	-	-	1	-	-	-
24	nominative data	5	5	-	-	1	2	2	-	-	-
25	nominative set	3	3	-	-	1	-	2	-	-	-
26	non-deterministic predicate	2	2	-	-	1	-	1	-	-	-
27	non-deterministic predicate.	1	1	-	-	-	-	1	-	-	-
28	notion intension	1	1	-	-	-	-	-	-	-	1
29	partial predicate	2	2	-	-	1	-	1	-	-	-
30	partial predicate	4	5	1	1	1	-	1	-	-	-
31	predicate logic	1	1	1	-	-	-	-	-	-	-
32	program logic	1	1	1	-	-	-	-	-	-	-
33	program semantics	2	2	-	1	1	-	-	-	-	-
34	Programming language semantics	1	1	-	-	-	1	-	-	-	-
35	proof assistant	1	1	-	-	1	-	-	-	-	-
36	proof assistant.	1	1	-	1	-	-	-	-	-	-
37	quasiary logic	2	2	-	1	1	-	-	-	-	-
38	quasiary predicate	6	6	1	1	2	-	2	-	-	-
39	semantics	1	78	-	-	-	1	-	-	-	-
40	semistructured data	2	2	-	1	1	-	-	-	-	-
41	Set theory	3	4	-	-	-	-	2	-	-	1
42	set-theoretic operations	1	1	-	-	1	-	-	-	-	-
43	soundness and completeness	1	1	1	-	-	-	-	-	-	-
44	time complexity of algorithms	1	1	-	-	1	-	-	-	-	-
	Total	77	488	5	10	19	11	28	0	0	4