People and topics related to Cellular automaton
People and topics related to Cellular automaton
andrea schalk
Andrea
Schalk
Modelling biological systems
Modelling biological systems
andrea schalk--Modelling biological systems
Cellular automaton
Cellular automaton
andrea schalk--Cellular automaton
Model of computation
Model of computation
andrea schalk--Model of computation
Mathematics
Mathematics
andrea schalk--Mathematics
Blended learning
Blended learning
andrea schalk--Blended learning
Logic
Logic
andrea schalk--Logic
Denotational semantics
Denotational semantics
andrea schalk--Denotational semantics
joe razavi
Joe
Razavi
joe razavi--Cellular automaton
joe razavi--Model of computation
joe razavi--Mathematics
joe razavi--Logic
Algebra
Algebra
joe razavi--Algebra
Formal language
Formal language
joe razavi--Formal language
Formal methods
Formal methods
joe razavi--Formal methods
Language of mathematics
Language of mathematics
joe razavi--Language of mathematics
Mathematical logic
Mathematical logic
joe razavi--Mathematical logic
Mathematical modelling
Mathematical modelling
joe razavi--Mathematical modelling
Pure mathematics
Pure mathematics
joe razavi--Pure mathematics
Symbolic computation
Symbolic computation
joe razavi--Symbolic computation
Compiler
Compiler
joe razavi--Compiler
Natural language
Natural language
joe razavi--Natural language
Program analysis
Program analysis
joe razavi--Program analysis
Program synthesis
Program synthesis
joe razavi--Program synthesis
Programming models
Programming models
joe razavi--Programming models
Symbolic AI
Symbolic AI
joe razavi--Symbolic AI
Verification
Verification
joe razavi--Verification
