Authors

G

• Gahungu, Athanase
  Modules: 1, Collections: 0
• Galvan, Adan
  Modules: 30, Collections: 3
• Gamage, David
  Modules: 2, Collections: 0
• Ganier, CJ
  Modules: 33, Collections: 2
• García Fuentes, Bernardo
  Modules: 2, Collections: 0
• Garza, Cosme
  Modules: 8, Collections: 0
• Gavilan Leon, German
  Modules: 1, Collections: 0
• Gaydash, Anna
  Modules: 1, Collections: 0
• Ge, Lan
  Modules: 0, Collections: 1
• Gegovska-Zajkova, Sonja
  Modules: 5, Collections: 0
• Germoglio Barbosa, Guilherme Mauro
  Modules: 7, Collections: 2
• Getman, David
  Modules: 22, Collections: 4
• Gibbs, James
  Modules: 2, Collections: 0
• Gilbert, Hunter
  Modules: 1, Collections: 0
• Gildin, Eduardo
  Modules: 2, Collections: 1
• Gillenwater, Jennifer
  Modules: 13, Collections: 1
• giovanny, david
  Modules: 1, Collections: 0
• Gjendemsjø, Anders
  Modules: 39, Collections: 2
• Glass, Graham
  Modules: 0, Collections: 1
• Glass, Thomas
  Modules: 1, Collections: 0
• Glenn, William
  Modules: 2, Collections: 0
• Goldner, Michelle
  Modules: 1, Collections: 0
• Goldsmith, Lloyd
  Modules: 1, Collections: 0
• gomez, tirso
  Modules: 2, Collections: 0
• Gon, Oleksander
  Modules: 1, Collections: 0
• gonzalez, amgela
  Modules: 1, Collections: 0
• Gonzalez Obando, Daniel Felipe
  Modules: 5, Collections: 1
• Good, Rebecca
  Modules: 1, Collections: 0
• Good, Irving
  Modules: 1, Collections: 0
• Goode, Laurie
  Modules: 1, Collections: 0
• Goodhart, Taylor
  Modules: 2, Collections: 0
• Goodier, Katherine
  Modules: 2, Collections: 0
• Gostin, Alan
  Modules: 6, Collections: 0
• Grady, Marilyn
  Modules: 1, Collections: 0
• Graham, Parry
  Modules: 1, Collections: 0
• Graham, Luke
  Modules: 4, Collections: 1
• Grandy, Bryan
  Modules: 14, Collections: 0
• Grant, Peter
  Modules: 6, Collections: 1
• Gray, Patricia
  Modules: 6, Collections: 0
• Grediagin, Darla
  Modules: 2, Collections: 0
• Gregory, Elizabeth
  Modules: 20, Collections: 1
• Greiner, John
  Modules: 51, Collections: 2
• Grimes, Joseph
  Modules: 35, Collections: 2
• Grogan, Margaret
  Modules: 1, Collections: 0
• Guerra, Rudy
  Modules: 1, Collections: 0
• Guillory, Jeanne
  Modules: 6, Collections: 1
• Gulick, Debbie
  Modules: 9, Collections: 1
• Gupta, Siddharth
  Modules: 11, Collections: 1
• Gürtler, Axel
  Modules: 1, Collections: 0
• Gussin, Louise
  Modules: 1, Collections: 0
• Gustafson, David
  Modules: 10, Collections: 1
• Guthrie, Kevin
  Modules: 18, Collections: 1
• Gutierrez Posada, Julian
  Modules: 1, Collections: 0

John Greiner

Type	Title
	Intro to Logic
	Model Checking Concurrent Programs
	90 = 100: A Proof
	Browser support
	Comp280 Hw02
	Comp280 hw03: First-order logic
	Conclusion
	Concurrent Processes: Basic Issues
	Concurrent Processes: Basic Issues: Homework Exercises
	Concurrent Programming and Verification: Outline
	Exercises for First-Order Logic
	Exercises for Propositional Logic I
	Exercises for Propositional Logic II
	First-Order Logic: bound variables, free variables
	First-Order Logic: equivalences
	First-Order Logic: inference rules
	First-Order Logic: normal forms revisited
	First-Order Logic: using quantifiers
	homework A solution
	homework B solution
	homework C solution
	Introduction: logic definition
	Introduction: logic motivation
	Introduction: outline
	Modeling Concurrent Processes
	Modeling Concurrent Processes: Homework Exercises
	Propositional Logic: conclusions
	Propositional Logic: equivalences
	Propositional Logic: formulas
	Propositional Logic: inference rules
	Propositional Logic: limitations of truth tables
	Propositional Logic: partIIm
	Propositional Logic: partIIn
	Propositional Logic: partIIo
	Propositional Logic: propositions
	Propositional Logic: soundness and completeness
	Propositional Logic: soundness and completeness revisited
	Propositional Logic: subproofs
	Propositional Logic: truth tables
	Propositional Logic: type checking
	Reference: first-order equivalences
	Reference: first-order inference rules
	Reference: first-order WaterWorld
	Reference: notation
	Reference: propositional equivalences
	Reference: propositional inference rules
	Reference: propositional WaterWorld
	Relations and Logic: interpretations
	Relations and Logic: modeling
	Relations and Logic: properties of relations
	Relations and Logic: using relations
	Using Temporal Logic to Specify Properties
	Using Temporal Logic to Specify Properties: Homework Exercises