Srivastava, Shashi Mohan.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
A course on basic model theory
by:
Sarbadhikari, Haimanti.; Srivastava, Shashi Mohan.; SpringerLink (Online service)
(Electronic resources)
Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
by:
ICLA (Conference : Logic) (2025 :); Aiswarya, C.; Sen, Prabal Kumar.; Srivastava, Shashi Mohan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Software Engineering.
Language and logic- Congresses.
Logic in AI.
Computer and Information Systems Applications.
Algebraic Geometry.
Logic
Mathematics.
Number Theory.
Computer logic- Congresses.
Model theory.
Formal Languages and Automata Theory.
Computer System Implementation.