🏠 No Place Like ~
Search
Search
Dark mode
Light mode
Explorer
Algorithmic Frontiers of Fairness
Algos when inputs are biased
Allocation Problem
Fair Division via Quantile Share
Fairly Allocating Goods, Chores and Mixed
FSTTCS Talks - Fairness
Matching with Fairness Constraints
Welfare Maximisation
Welfare Maximization - Provisioning Public Projects
College Notes
Excalidraw
Drawing 2025-01-07 12.06.37.excalidraw
FSTTCS
A class of rational trace relation closed under composition
A generalized quantum braching program
Acyclic Petri and Workflow Nets with Resets
Algorithms in the presence of Biased Inputs
bandwidth of Timed Automata
Causal Ingerence
Fitting Manifolds to data in presence of noise
From Concept Learning to SAT-Based Invariant Inference
Languages given by Finite Automata over the Unary Alphabet
Measuring Complexity
Random Path
Reachability Games and Friends
Regular Separators for VASS Coverability Languages
MOC
0-Atlas
Algebraic Automata Theory
Category Theory
Complexity Theory
Concurrency Theory
Concurrent Programming
Conformance Checking
Data Structures
Descriptive Complexity Theory
Discrete Homotopy Theory
Finite Model Theory
Games on Graphs
Graph Theory
Homotopy Type Theory
IFPL Note Order
Independence of CH - Dana Scott
Infinite State Verification
Intro to Martingales
Logic
Logic, Automata and Games
Manifolds
Measure Theoretic Probability
Model Repair and Conformance Checking of Time Aware Models (MOC)
Model Theory
Module Theory
Parameterized Algorithms
Revisiting Complexity of First-Order and Monadic-Second-Order Logic
Ring Theory
Set Theory
Software Verification and Analysis
Static Analysis
Topics in Algorithms
Topology
Topology via Logic
Undecidability in Algebra and Topology
Weighted Automata and Transducers
Notes
(Weighted) Vertex Cover using LP
+ is epxressible in FO(BIT, <)
1-Forms
2-Categories
2-Way DFA
2DFAs are equivalent to DFAs
3k Vertex Cover Kernelization Algorithm
17th Jan LAG lecture
21st Nov Class Dump AAT
22 Oct AAT
24th October Classwork
25th October stuff
29th LP Notes
2023-04-11
2023-04-13
A better Axiom of Choice for Type Theory
A Categorical notion of Equivalence Relation
A complete, locally small category with a jointly weakly initial set of objects has an initial object
A Fiberwise Transformation is an Equivalence if its Total is an Equivalence
A function between n types is an equivalence iff its an isomorphism
A function factorizes uniquely into an n-connected and an n-truncated function
A functor admits a left adjoint iff all its comma categories have an initial object
A graph admits a small parity progress measure iff all cycles in the graph are even
A Language if Regular iff its Characteristic Function is regular
A locally small, complete category with a small coseparator and intersections of all collections of subobjects has an initial object
A Monadic Category is cocomplete iff it has Coequalizers
A Monadic Category over a Cocomplete Category is Cocomplete
A More Efficient Method for Petri Net Coverability
A natural isomorphism between diagrams induces an isomorphism between limits and colimits
A parameterized problem is in FPT iff it admits a kernel
A Poset is a complete and cocomplete category iff it is a complete lattice
A Proof System for FOL
A Simple Example - cat theory 1
A Theory is universally axiomatiazble iff its closed under substructure
A Theory T admits QE for phi if any 2 models of T agree on phi on intersection
A type is a set iff it satisfies axiom K
A type is n-connected iff any basepoint is n-1 connected
A type X is an n+1 type iff loop space is an n type
Abelian Groups
Absoluteness of Formulas
AC0
ACFp is kappa categorical for uncountable kappa
Acyclicity of Graphs is Definable in LFP
Adal week 3
Addition is Associative (Type Theory)
Adjacency Algebra of a Graph
Adjoint Functor Theorem for locally presentable categories
Adjoints of Inclusion functor from Ring to Rng
Adjunction of Bifunctors
Adjunctions
Adjunctions as Kan extensions
Adjunctions in Functor Categories
Adjunctions in Posets
Affine Spaces as Monads
Affirmative and Refutative Assertions
Alg3 class
Algebraic Classification of Recognizable functions
Algebraic Closure
Algebraic Extension
Algebraic Integers
Algorithm for Arborescence
Algorithm for Finding the Weight of a Word
Algorithmic Coding Theory Lec 1
Almost All Automorphism Groups are Trivial
Almost certain model checking
Alt
Alternating Finite Automaton
Alternating Timed Automata
Alternating Tree Automata
Alternating Turing Machine
Alternating-time Temporal Logic
Amdahl's Law
Analytic Function
Anderson's Lock
Another way to Complement a Büchi Autromata
Any Category with Coproducts and Coequalizers is Cocomplete, with Products and Equalizers is Complete
Any category with Pullback and a terminal object has all finite limits, with pushouts and an initial object has all finite colimits
Any Equivalence can be promoted to an Adjunction
Aperiodic Languages are Star Free Regular
Aperiodic Monoids recognize all FO Definable Languages
Application in Error Correcting Codes
Application of Static Analysis
Applications of Error Correcting Codes
Applications of Yoneda Lemma
Approximation Algorithms
APX (Complexity Class)
Arborescence
Arc-Transitivity and diameter
Arc-Transitivity and Girth Relation
Arc-Transitivity of a Graph
Arden's Lemma
Arenas for Games on Graphs
Arithmetic Operators are Definable in LFP
Arrow Type
Ascending Chain Condition
Associates in Rings
Asymmetric Graphs
Asynchronous Automata
Atomic Diagram of a structure
Atomic Types
Atomization of Programs
Automorphism Group of a Graph
Autonomous System
Axiom K
Axiom of Choice and its Variants
Axiom of Constructibility
Axioms for Higher Order Theory of Reals
Axioms of ZFC
Axioms Satisfied in M[G]
Backoff Lock
Banach-Mazur Games
Based Path Induction
Bases for a topology
Basic Feasible Solution
Basic ways to prove things using coq
Bi-invertible Maps
Big Software Fails
Bijective Ehrenfeucht-Fraïssé Game
Binary Heaps
Binomial Heaps
Bipartite Expander Graphs
Bipartite Graph Perfect Matching
BIT is expressible in FO(+, *)
Block-Graph Theory
Boolean Algebra
Boolean Circuits
Boolean Type
Borel Sigma Field
Borel's Law of Large Numbers
Borsuk Ulam Theorem
Boruvka's Algorithm
Both Directions of Half Adjoints are Logically Equivalent
Bounded Number of Degrees Property
Bounded Wait-freeness
BPP Complexity Class
Britton's Lemma
Brouwer's Fixed Point Theorem
Büchi Automata
Büchi Automata for Linear Temporal Logic
Büchi Automata for Monadic Second Order Logic
Büchi-McNaughton Theorem
Building of Assignment Tester
Burnside's Lemma
Calc - Problem Session - 7 Oct
Calculus Assignment
Caley Graphs
Can there be sparse sets that are NP-hard?
Cana Assignment 4
CANA-HW-4
CANA-HW-5
Cannonical Decomposition of Module Homomorphisms
Cannonical Decomposition of Ring Homomorphisms
Canonical Presentations using Free Algebras
Cardinal Arithmetic
Cardinality of a small category
Cardinals
Cardinals Pre-reqs
Cartesian Closed Category
Cat and CAT are complete and Cocomplete
Categorization of Equivalent Categories
Category
Category of Abelian Groups is closed
Category of Adjunctions
Category of Compactly Generated Hausdorff Spaces is CCC
Category of Cone Diagrams
Category of Models for an Algebraic Theory
Category of Modules
Category of Sets (HoTT)
Category Theory Introduction Page
Cauchy approximation
Cauchy-Reimann Equation
Cayley-Graph-Examples
Cesaro Summability
Chain Complex
Channel Systems
Characterisic of a field
Characterizing n connectedness using n-types
Checking if a word is related to Sigma*
Choosing Limits of diagrams in Functorial
Church Booleans
Church Numerals
Church Synthesis Problem
Church-Style typing
Circle (HoTT)
Circuit Value Problem
Circulant Graphs
Class of Division Rings with Finite Order is not Axiomatizable
Class of Periodic Groups is not Axiomatizable
CLH queue Lock
Closed Category
Closed sets
Closure and Atoms for Büchi construction of LTL formulas
Closure and Interior and Limit Points
Closure of a set under a set of functions
Closure Properties of Büchi Automata and Omega-regular languages
Closure Properties of Rational Relations
Closure Properties of Recognizable functions
Co-NP (Complexity Class)
Cocones (HoTT)
Cofinality
Coherence Spaces
Coherence Types for Equivalences
Coin Example
Colimit of Limits gives Limit fo Colimit of a Bifunctor
Combinatorial Proofs
Combinatorial Optimisation
Combinatory Logic
Combined Complexity of a Logic
Communication Free Petri-Net
Commutative Ring
Commuting of Rectangles and Squares
Compactness
Compactness Theorem
Complete and Cocomplete Categories
Complete Lattice
Complete or Cocomplete k-small categories are pre-order
Complete problem for NL
Completeness of First Order Logic
Completion of a Measure Space
Complex Analysis Assignment 3
Complex Convergence Results
Complex Numbers
Complex Numbers as quotients of polynomial ring over Reals
Complex Polynomials
Complex Rational Functions
Complexity Assignment 1
Complexity Assignment 2
Complexity Assignment 3
Complexity Classes
Complexity of FO
Complexity of FO(Cnt)All
Complexity of KKT Algorithm
Complexity of Model Checking in Monadic Second Order Logic
Complexity of MSO
Complexity of MSO over Bounded Tree-Width Structures
Composite Field
Composition of Adjunctions
Composition of Sequential Transducers
Computable and Uncomputable Functions
Computation Tree Logic
Computational History
Computing m_q
Computing the Least Progress Measure
Concrete Categories
Concurrency via Sharing Events
Concurrent Registers
Conditional Expectation
Cones and Cocones
Cones and Suspensions (Topology)
Conformality Transformation on let(rec) expressions
Conjugation Problem on a Free group
Connectedness
Connectivity is not EMSO definable but is AMSO
Connectivity is not FO Definable
Connectivity is not FO definable for Finite Graphs
Consensus
Consensus Number for Compare and Set - Omega
Consensus Number of Atomic Read Write Registers - 1
Consensus Number of Atomic Read Write Registers and Atomic Queue - 2
Consequences of Monadic Functors Creating Limits
Constant Pattern to Lambda Calculus
Constructable Sets
Constructible Numbers
Constructing the Free Group
Constructing the Left Adjoint of Inclusion Functor from Ring to Rng
Construction of Kan Extensions
Construction of Syntactic Monoid of an Automata
Constructor Rule for Match Function
Continuous and Cocontinuous Functor
Continuous Functions
Continuum Hypothesis
Contractible Fibers
Contractible Types
Contravariant Powerset Functor is Monadic
Convergence of a Sequence of Martingles
Convergence of Fourier Series
Converting Case Expressions to Ordinary Lambda Calculus
Converting Enriched Lambda Calculus to Ordinary Lambda Calculus
Convolutions
Cook-Levin Theorem
Coproducts in Category Theory
Coq Basics
Corollaries of RAPL
Correspondence of Topological and Probabilistic Semantics for LTL
Countably Compact
Counter Automata
Counting and Locality
Coverability in Petri Nets is Decidable
Covering Spaces
Crown Decomposition
Crown Lemma
CTL*
Curry Howard Isomorphism
Curry-Style typing
CW Complex
CW Complex (HoTT)
Cyclically Reduced Term
Cyclotomic Fields
D-Timed Automata to Timed Automata Construction
Data Complexity of a Logic
Deadlock-freeness
Decidability (HoTT)
Decidability of Finitely Satisfiability and Validity
Decidability of Presburger Arithmetic
Dedekind Domains
Dedekind Reals (HoTT)
Dedekind Reals are a Field
Dedekind Reals are Cauchy Complete
Dedekind Reals are Dedekind Complete
Dedekind Reals are weakly linearly ordered
Definable Formulas
Definable Formulas are Countable
Definable Power Set
Definablity of Even Atoms
Definition of a Tree as a language over words
Deformation Retracts
Degree of a Structure (FMT)
Delta0 Formulas
Denotational Semantics for lambda Calculus
Dependency analysis for letrec expressions
Dependent Function Type
Dependent Pair Types
Dependent Types
Determinants
Deterministic Perspective Games
Deterministic Rabin Automata accept omega-regular languages
Deterministic Timed Automata
Diagonal Constraints Offer Exponential Succinctness.
Diagram
Dice Example
Diff Eq - Nice Info
Dimension of a Path
Dinic's algo for max-flow
Dinur's Theorem
Direct Product Automata
Direct Product Automata are not closed under boolean operations
Direct sum of Modules
Dirichlet Kernels
Discriminant of an n-tuple
Distance Functions for Timed Traces on Petri Nets
Distance of a Code
Distances in Graphs
Distributed Alphabet
Division Ring
Doob Decomposition Theorem
Doob's Martingale Convergence Theorem
Doob's Maximal Inequality
Doob's Upcrossings Inequality
Double Negation Does Not Cancel
Double on Natural Numbers using W-Types
Downward Löwenheim–Skolem Theorem
DTIME(f) Complexity Class
Dual Vector Space Example
Duality
Duality Theorems for LP
Dualling Both Categories in an Adjunctions
Eckmann-Hilton
Edge-Transitive, Non Transitive is Bipartite
Edmond's algorithm for general Matching
Edmonds-Karp algo for max flow
Ehrenfeucht-Fraïssé Game
Ehrenfeucht-Fraïssé Game for MSO
Ehrenfeucht-Fraïssé Games Proof
Ehrenfeucht-Fraïssé Theorem
Eilenberg Moore Category
Eilenberg Moore Catergory induces an Adjunction
Element Category
Element Category is Isomorphic to Comma Category
Elementary Equivalence of Models
Elementary Functions
Elimination Principles of Integers
Ellipsoid Algorithm
Embeddings reflect n-Types
Emptiness for Updatable Timed Automata
Emptiness Of Support
Empty Rule for Match Function
Emulating a Multi-tape Turing machine on a Single Tape Turing Machine Effeciently
Encoding and Decoding Functions
Encoding Finite Model
Encoding for Proposition Formulas
Encoding of Tuples
Endsem ACT
Enriched Lambda Calculus
Enumeration Machine
Epimorphisms and Monomorphisms of Exact Sequences
Equality in Tropical Weighted Automata
Equality of Semigroups
Equalizers and Coequalizers
Equational form of LP
Equations over Finite Fields
Equivalence between Machines
Equivalence Induction
Equivalence of Categories
Equivalence of Definitions of Universal Property
Equivalence of more complicated structures - Semi-groups
Equivalence of Rational Relations is Undecidable
Equivalences Reflect, Preserve and Create Colimits
Equivalent Definitions of Adjuctions
Equivalent Definitions of Well-preorder
Error Correcting Codes
Error Reduction for RP algorithms
Evaluating Pattern Matching in Lambda Calculus
Even Atoms in Boolean Algebras
Even is (MSO + <)-expressible
Even is not FO-definable for Linear Orders
Even is not MSO-expressible
Event Clock Automata
Event Predicting Automata
Event Recording Automata
Every Finite Semi Group has an idempotent element
Every function factors through its n-image
Exact Sequences
Example for Proof System in FOL
Example of Atomless Boolean Algebra
Example of Mean Payoff Games
Examples for W-Types
Examples of Adjunctions
Examples of Categories
Examples of Coequalizers
Examples of Comonads
Examples of Complete and Incomplete Theories
Examples of Eilenberg Moore Categories
Examples of Element Categories
Examples of Equalizers
Examples of Equivalence of Categories
Examples of FO(Cnt)
Examples of Free-Forgetful Adjoint Pairs
Examples of Functors
Examples of Kan Extensions
Examples of Kliesli Category
Examples of Matroids
Examples of Modules
Examples of Monadic Functors
Examples of Monads
Examples of Monads from Adjunctions
Examples of Mutual left and right adjoints
Examples of Natural Transformation
Examples of Natural Transformation with Representable Functor as Domain
Examples of Pullbacks
Examples of Pushouts
Examples of Reflective Subcategories
Examples of Representable Functors
Examples of Representable Universal Property of Colimits
Examples of Rings
Examples of Sets in Type Theory
Existence and uniqueness for linear systems
Existence of Algebraically Prime Models
Existence of Gomory-Hu trees
EXP (Complexity Class)
Expander Graphs
Expander Graphs and Applications
Expander Mixing Lemma
Expansion Lemma
Exponential Generating Functions
Exponential of a Matrix
Exponential Reachability Automata for Parity Games
Expressability of One-Clock Alternating Timed Automata
Expressing Transitive Closure with Fixed Points
Expression Complexity of a Logic
Expressive Power Of Event Clock Automata
Expressive Power of Gödel's system T
Extended Hall's Lemma
Extending FO
Extension Field
Extension of Proper Filter to Prime Filter in Heyting Algebras
Exterior Algebra
Exterior Differentiation
Extrapolation for Zone Automata
Factorization Forest Theorem
Fagin's Theorem
Failure of CH in a suitable Model
False Assumptions easy to make about Patterns
Farkas' Lemma
Fejer Kernel
Fiber of first projection of Sigma Types
Fibers (HoTT)
Fibers of Half Adjoint Equivalences are Contractible
Fibonacci Heap
Field (Measure Theory)
Fields
Filter Lock
Filtered Category
Filtered Colimits commute with finite limits in Set
Filtered Probability Space
Filters
Filters in Heyting Algebras
Filtrations (Measure Theory)
Finding the Downward Closure of Some Languages
Finitary Functors
Finite Essentially Uninterpreted (FEU) fragment
Finite Fields
Finite Integral Domains are Fields
Finite Intersection Property
Finite Monoids and idempotent elements in big words
Finite Sat for FOL
Finite Sat for FOL Motivation
Finite Type Algebra
Finite Variable Logics
Finitely Satisfiable and Valid Sentences
Finiteness Theorem
First Countable space
First Cycle Mean Payoff Games
First Order Logic
Fixed Parameter Tractibility
Fixed Point Logics
Fixed Point Logics are subsumed by Finite Variable Logics
Fixed Points
Flip Flop
FO for Verifying CNF Encoding
FO on Finite Words accepts Star Free Languages
FO Queries are Hanf Local
FO with Infinitary Connectives
FO(+, *)
FO(All)
FO(All) is in AC0
FO(Cnt)
FOL Inexpressibility
FOL-Examples for Definability
Forbidden Ideal of an element in a Monoid
Forgetful functor from comma category strictly creates limits
Forgetful Functors that do not have an adjoint
Formal Description of a 2-DFA
Formalising Precision and Fitness for Time Petri Nets
Forward Reachability Tree
Fourier Series
Fourier series is the best approximation
Fraction Field
Fractional Tree Packing
Fragments of Second Order Logic
Frames(Algebra)
Frechet Property
Fredmen and Tarjan's Algorithm
Free Abelian Group
Free Algebra
Free Category on a Directed graph
Free Group
Free Group(HoTT)
Free Module
Free Monoid
Free T-Algebra
Free-Forgetful Adjunction from Compact Hausdorff Spaces is Monadic
Freyd's Representability Theorem
Fully Faithful Functors and Adjunctions
Fully Faithful Functors Reflect Limits and Colimits
Function Type
Functions as Equivalences
Functions as Functors
Functions as Functors of 2 Category
Functions Computable in Lambda Calculus
Functions types to isomorphic types are isomorphic
Functor Categories inherit Limits and Colimits object-wise
Functors
Fundamental Group
Fundamental Group (HoTT)
Fundamental Group of a Circle
Fundamental Groupoid
Gaifman Graph
Gaifman Theorem
Gaifman-Locality
Gaifman-Locality implies BNDP
Galois Correspondence
Galois Extensions
Game for Counting Logic
Gameplay for Games on Graphs
Games of Graphs with Fixed Points
Gauss sums
General Adjoint Functor Theorem
Generalized Steiner Tree-Forest Problem
Generating Effects
Generating Functions
Generic Extensions of Set Theory Models
Generously Transitive
Geometric Propositional Logic
Gödel's system T
Good Kernels
Good Samaritan vs the Minimally Decent Samaritan
Gossip Automata
Gossip Automata can be implemented as Asynchronous Automata
Gossip Problem
Graph
Graph Connectivity is not Hanf-Local
Greedy Cost Bounded Model Repair for Sequential Time Petri Nets with Delay Only Distance
Green's Lemma
Green's Relations
Green's Theorem
Group Testing problem
Group-Free Semi-group
Groupoids
Groups In First Order Logic
Gurevich-Shelah's Theorem
Guruswami-Sudan's list decoding of RS codes
Half Adjoint Equivalences
Half Adjoint Equivalences are Mere Propositions
Hamming Bound
Hamming Codes
Hamming Distance
Hanf-local Queries are Gaifman-local
Hanf-Locality
Hardness of LTL Model Checking using Timed Automata
hat V- Deterministic Büchi Automata
Hausdorff Property
Hedberg's Theorem
Hereditarily Finite Sets
Heyting Algebra
Higher Groupoid Structure of Cartesian Product
Higher Groupoid Structure of Identity Types
Higher Groupoid Structure of Natural Numbers
Higher Groupoid Structure of Pi Type
Higher Groupoid Structure of Sigma Type
Higher Groupoid Structure of Unit Type
Higher Groupoids Structure of Coproducts
Higher Inductive Types
Higman's Lemma
Hilbert's Basis Theorem
Hilbert's cube
History(Concurrent Programming)
HNN - Extensions
Hoare Logic
Homeomorphisms
Homework 1
Homework 2
Homogenous Linear Systems
Homology
Homology as generalization of Kernel and Cokernel
Homology Theory
Homomorphism of Models
Homotopy Constructions that can be expressed using Pushouts
Homotopy Equivalence
Homotopy Group
Homotopy Group(HoTT)
Homotopy Induction
Homotopy Inductive Types
Homotopy of paths
Homotopy(HoTT)
Hover Operator (Verifiction of MST)
How to count
Hubs and Spokes
IC3 Algrorithm
Ideals
Ideals in a Monoid
Ideals in Quotients
Idempotent from a relation on a type
Identity Functor admits a limit iff there is an initial object
Identity is an Equivalence
Identity System
Identity System at a point
Identity Type
Identity Types form an Inductive Family
If C is Complete and Cocomplete, so are the slice and coslice categories over C
if f an n connected, then g is n connected iff g(f) is n connected
If R is a PID then submodules of free module over R are free
If R is noetherian and M is finitely generated then M is noetherian
IFPL Lec 2
Image of a Regular Language under a Sequential Transducer is Regular
Images are stable under pullbacks
Immerman–Szelepcsényi Theorem
Immerman–Vardi's Theorem
Implementation of Sets and Set Operations
Inapproximability of Max Independent Set
Incidence Matrix
Increasing Upward-Closed sets in Preorders
Independence of meaning from changing the order on the left hand side implies uniform definition
Induction Principle for Reflective Subuniverses
Inductive Types
Inductive Types are Initial Algebras
Infinte product and coproduct of modules do not coincide
Information Chains
Information Pre-Order
Inhomogenous Linear Systems
Initial, Terminal and Zero Objects
Integers in HoTT
Integers in Simply Typed Lambda Calculus
Integral Curves
Integral Domain
Integrality Gap
Integration (Measure Theory)
Intermediate Value Theorem
Interval (HoTT)
Interval implies Function Extensionality
Interval is Contractible
Intuitionistic Logic
Invariant Queries
Inverse Limits and Direct Limts
INW generator for Space Bounded Computation
Irrefutable let(rec)
Irrefutable let(rec)s to Simple let(rec)s
is-n-type is a mere proposition
Isolating Cut Heuristic for Multicut Problem
Isomorphism Between First Order Interpretations
Isomorphism Types of Models
Isomorphisms (Category Theory)
ISV lec 3
Jacobi Sums
Job Scheduling Problem
Johnson Graphs
Joint Distribution Measure and Product of Probability
Kan Extension preserving Functors
Kan Extensions
Kan Extensions as Set-valued Functors
Karger, Klein and Tarjan's Algorithm
Karger's min-cut algorithm
Karp-Lipton Theorem
Kernel and Cokernels in R-Mod
Kernelization
Kernelization Algorithm for d-Hitting Set
Kernelization Algorithm for Edge Clique Cover
Kernelization Algorithm for Feedback Arc Set in Tournament
Kernelization Algorithm for MAXSAT
Kernelization Algorithm for Vertex Cover
Kernels and Cokernels
Kleene Shutzenberger Theorem
Kleisli Category
Kleisli Category and Eilenberg Moore Category in the Category of Adjunctions
Kleisli Category induces an Adjunction
Kleisli Category is the Category of Free Algebras
Knaster-Tarski Theorem
Kneser Graph
Kolmogorov Property
Kolmogorov Translation
Kolmogorov's Law of Large Numbers
Kolmogorov's One Series Theorem
Kripke Models
Kripke Models are Equivalent to Heyting Algebra
Krull Dimension
Kruskal's Algorithm
L is a model of ZF
L is a Model of ZFC
L is a Model of ZFC + GCH
L Rank of a constructible set
L_infty,omega star
l,k Ajtai-Fagin Game for EMSO
L* example
L* Learning Algorithm
Ladner's Theorem
LAG 4 May
Lambda Calculus Evaluation Rules
Lambda Calculus Introduction
Lambda Calculus Syntax
Lambda Mu Calculus
Lambda Term In Combinatory Logic
Lamport's Bakery Lock
Language of Infinite words
Language Operations on Monoids
Largest common independent set of a matroid
Last Appearance Record
Lattice
Lattice Graphs
Least Progress Measure
Lebesgue Number Lemma
LECTURE
Lecture local fields
Left Adjoint in a monadic adjunction create coequalizers
Left and Right Adjoints are Unique
Left and Right Inverses
Left and Right Inverses of Ring Homomorphisms
Legendre Symbol
Lemma 1 for Complementation of omega-Regular Languages
Lemma 1 for Quasi-inverse is not a Mere Proposition
Lemma 2 for Complementation of omega-Regular Languages
Lemma 2 for Quasi-inverse is not a Mere Proposition
Lemma 3 for Complementation of omega-Regular Languages
Lemma for BEF Games
Lemma for fibers of maps of pullbacks
Lemma for H-smooth Words
Lemma for J-smooth words
Lemma for Minimax Theorem
Lemma for Monadicity of Contravariant Powerset Functor
Lemma for Natural Number Encoding
Lemma for R-smooth Words
Lemma for Threshold Equivalence
Lemma for unique factorization of functions
Lemma-Number of isomorphism classes on graphs
let-expressions in Enriched Lambda Calculus
letrec-expressions in Enriched lambda Calculus
letrec-expressions to Irrefurtable let-expressions
Letter Number Game
LFPsimult = LFP
Lifted Reed Solomon Codes
Lifting Correspondence
Lifts
Limits and Colimits
Limits and Colimits as Adjunctions
Limits and Colimits as Kan Extensions
Limits and Colimits in multiple variables can be taken in any order
Limits and Colimits in the category of sets (HoTT)
Limits in the Category of Sets
Lindelof Space
Lindenbaum-Tarski Algebra
Line Graph
Line Integral
Linear Algorithm for Special case of TPMP
Linear Programming
Linear systems with constant coefficients
Linear Temporal Logic
List decoding Folded RS
List decoding RS codes up to the Johnson radius
Loc Past PDL
Local Compactness
Local Connectedness
Local Correcting and Decoding of RM codes
Local Decoding
Local Equivalence
Local Equivalence Lemma
Local Path Connectedness
Local problems on codes
Local Self-correction of Bivariate Multiplicity Codes
Locality (Finite Model Theory)
Locally Finite and Summable Series
locally presentable categories
Locally Small and Complete Categories with a small coseparating set where all collections of subobjects of a fixed object have an intersection then it is cocomplete
Locally Small, Complete category with a small coseparator where all collections of subobjects of an object have an intersection has all continuous functors form it be representable
Location Lemma
Logic L capturing the complexity class K
Logic, Regular Languages and Languages Recognized by Monoids
Loop is not refl
Loop Space
Los-Vaught Test
Łoś's Theorem
Lovasz Local Lemma
Löwenheim-Skolem and its Variants
Lower Bound on Shared Process
LP algorithm for Bipartite Matching
LP algorithm for general Perfect Matching
LP Solution examples
LTL vs CTL
M is noetherian if for every sub-module N, N and MN are noetherian
Machinery for Probabilistic Semantics for Timed Automata
Machines Realising Rational Functions
Map from n-sphere to a space is isomorphic the nth-loop space of the space
Maps between Cocones
Maps from Suspension to a space are isomorphic to maps from space to loop space
Marczewski-Szpilrajn Theorem (Compactness)
Marczewski-Szpilrajn Theorem (WO)
Martingale Transform
Martingales
Match Function for Enriched Lambda Calculus
Matching Problem
Matroid Intersection
Matroids
Max wt base of a matroid
Maximal Traces for Linear Time Petri Nets for Delay Only Distance
Maybe Monad
Mealy Machines and Moore Machines
Mean Payoff Games
Measurable Functions
Measure Space
Measurement of Redundancy in a code
Mere Propositions
Mere Propositions are Sets
Metric Topology
Metrizable Spaces
Miller-Rabin Algorithm for Primality
Minimax Theorem for Zero-Sum Games
Minimizing a Weighted Automata
Minimum k-cut Problem
Minimum Spanning Trees
Mixed Nash Equilibrium
Mixed Strategies
Mixture Rule for Match Expression
Modality
Model Checking of CTL formulas
Model Repair and Conformance Checking of Time Aware Models
Modular Machines
Modular Machines are Turing Complete
Modules
Monadic forgetful functors strictly create coequalizers of Usplit pairs
Monadic Functors
Monadic Functors are Conservative
Monadic Functors Create all limits and some colimits
Monadic Second Order Logic
Monadicity Theorem
Monads and Comonads
Monads from Adjunctions
Monoid Homomorphisms
Monoid Ring
Monoidal Category
Monoidal Closed Category
Monoidal Functor
Monoids
Monoids as Idempotent Commutative Langauges
Monoids as Languages
Monoids as Regular Languages
Monolithic Timed Automaton for a Network of Timed Automata
Monomials, Polynomials and Series
Monomorphisms and Epimorphisms
Monomorphisms and Epimorphisms in Rings
Monotone Domination Order
Monotone, Inflationary and Inductive Functions
Monotonicity is Undecidable
Motivation for Concurrency Theory
Motivation for Games
MSO has Problems in each PH level
MSO on Finite Words accept Regular Languages
MSOL(lt) equivalent to MSOL(succ)
MTP 17-09-24
Mu-Recursion
Muller Automata to Games
Muller Games to Parity Games
Multi-choose
Multi-way Cuts
Multiplicative Characters
Multiplicity Automata
Multiplicity Codes
Multiset
Multivariate Polynomial Interpolation on Lines
Mutual Exclusion
Mutual Left and Right Adjunctions
Myhill Nerode Theorem
N is the initial object in the category of N-Algebras
n truncations of path space is path space of n+1 truncation
N_L admits Quantifier Elimination
n-connected functions induce equivalence of n-types
n-connected types
n-image
n-truncated functions
n-truncation of a pushout is a pushout in n-types
n-Types
Naive Algorithm for Reachability in Zone Automata
Natural Deduction
Natural Numbers in Type Theory
Natural Numbers with Successor
Natural Numbers with Successor and Ordering
Natural Numbers with Successor Function is Complete
Natural Transformation
Neighborhood (Finite Model Theory)
Network Flows
Network Reliability
Networks of Timed Automata
Newman's Lemma
Nivat's Theorem
Noetherian Modules
Noetherian Ring and PIDs
Non deterministic Space Hierarchy Theorem
Non deterministic Time Hierarchy Theorem
Normal Extensions
Normal Spaces
Normalization Theorem for Gödel's system T
Normalizing a Transducer
Not all regular trace languages are synchornous
Not Unification Algorithm For Type Inference
Notes
NP (Complexity Class)
NP Complete
NTIME(f) Complexity Class
Number Field
Number Of Roots and Poles of a Rational Function
Number Rings
Object Classifiers
ODE
Olog
omega-Automata
Omega-Regular Languages
One Parameter Group Of Diffeomorphisms
One Point Compactification
Open and Closed Functions
Operations on Integrals
Opposite Category
Optimal Reachability in Weighted Timed Games
Optimality of Basic Feasible Solution
Optimisations for Expressions containing FAIL and Fatbar
Optimisations for Overlapping Patterns
Orbits in X x X being strongly connected under transitive automorphism
Orbits on X and X x X
Order Invariant FO
Order Invariant FO(Cnt) is not Gaifman Local
Order Theory
Order Topology
Ordered Fields
Ordered Fields and Archimedean Axiom
Ordering between Axiomatic Theories
Ordering Equations in Uniform Definitions
Ordinal Definable Sets
Ordinary Generating Functions
Owing to a Person vs Them having a Right against you
P (Complexity Class)
P implies not-not P - Intuitionistic Logic
P-adic Solenoid
P-Generic classes
P-name
Pairs in Lambda Calculus
Parameterized Languages
Parity Games are solvable in Qusaipolynomial time - introduction
Parity Progress Measures on Games
Parity Progress Measures on Graphs
Partial Functions
Partial Isomorphism
Path Component Functor on Graphs
Path Connected Component Functor
Path Connectedness
Path Induction
Paths in a graph
Paths on Graphs and Finite Variable Logics
Pattern Matching to Ordinary Lambda Calculus
Patterns
PCP'
Peano Axioms and Type Theory
Pebble Games
Perfect Fields
Permutation Matrix Theorem
Perspective Games
Perspective-ATL*
Phase Flow
Phase Space
PLC Assignment 3
Pointed Predicates and maps
Pointed Type
Pointwise Kan Extensions
Polynomial and matrices over semi rings form semi rings
Polynomial Rings
Polynomial Rings over a Noetherian Ring are Noetherian
Polynomial-Time Hierarchy
Polytime Approx Algo for Steiner Trees
Positional Strategy for Mean Payoff Games
Positive Formulas
Post Correspondence Problem
Postnikov construction of truncated types
Power Series
Pre-Image of a Regular Language under a Sequential Transducer is Regular
Predicable Process
Predicate (HoTT)
Prefix Preserving
Preorder
Presentation of a Group
Preservation, Reflection and Creation of Limits
Prim's Algorithm
Primal - Dual LP
Primal-Dual Algorithm for Bipartite Min-cost Perfect Matching
Primal-Dual Algorithm for general Min-cost Perfect Matching
Prime and Irreducible elements
Prime elements are irreducible
Prime Ideals and Maximal Ideals
Prime Ideals are Maximal in PIDs
Prime Models
Primitive Element Theorem
Primitive Recursion
Primitive Transitive Permutation Group
Principle Ideals
Probabilistic Automata
Probabilistic Perspective Games
Probabilistic Semantics for LTL
Probabilistically Checkable Proof
Probability
Probability Measure over Finite Paths in a Timed Automata
Probability Theory and Gambling
Product Constructor Pattern Matching to Lambda Calculus
Product in Category Theory
Product Measures
Product of Models
Product of Well-Preorders
Product topology
Product Type
Product Type(HoTT)
Product types respect n-truncations
Products and Coporducts
Products in Rings
Products in Topology from Products in Category Theory
Products respect Universal Properties
Program for RAM
Progress Measures (Intuition)
Proof by Induction in Coq
Proof for Lower Bound on Shared Processes
Proof for Reflection Theorem
Proof for the Undecidability of the Word Problem
Proof that L2 cannot be accepted by a 1 Clock Timed Automata
Properties of Karp-Miller Trees
Properties of Minimum Spanning Trees
Properties of the Attractor function and Traps
Propositional Resizing
Propositional Truncation
Pseudocode for CLH queue Lock
PSPACE
PSPACE-Hardness of LTL Model Checking
PTAS (Complexity Class)
Pullbacks and Pushouts
Pullbacks in CAT
Pure Sequential Transducers
Purely Timed Alignment Problem for Linear Time Petri Nets for Delay Only Distance
Push Down Automata
Pushouts (HoTT)
Pushouts in CAT
Pushouts of n-types
Quadratic Reciprocity
Quanitifier Elimination for Natural Numbers With Successor
Quantified Boolean Formulas
Quantifier Rank
Quantifier rank
Quasi-inverse is not a Mere Proposition
Quasi-Polynomial time
Queue Based Locks
Quotient map is surjective
Quotient Rings
Quotient Topology
Quotienting by monic polynomial is an abelian group isomorphism with direct sum
Quotients in Monoids
Quotients of Polynomial Rings
Quotients of Syntactic Monoid of a language
R with Lower Limit topology
R_K
R-Mod is a CCC
R^w
Radon-Nikodym Theorem for Countably Generated Sigma Field
Ramsay's Theorem
Random Access Machines
Randomised or Probabilistic Computation
Randomized Algorithms
Rank of a module
Rank-k m,l Types MSO
Rank-k Types (FO)
Ranked Tree Automata
Ranked Trees in Logic
RAPL
Rational Functions (Weighted Automata)
Rational Numbers in Type Theory
Rational Relations as Weighted Automata
Rational Series
Rational, Automatic and Recognizable relations
Reachability Algorithm for Zone Automata
Reachability Automata for Parity Games
Reachability in Finite Pushdown VASS
Reachability in Lossy Channel Systems
Reachable Vectors
README
Recursive and Recursively Eumberable Sets
Reduced Product
Reducibility
Reducibility Theorems
Reducing a Weighted Automata
Reduction
Reflection Theorems
Reflective subcategories create limits and contain colimits
Reflective Subcategory
Reflective Subuniverses
Reflexive Subuniverse are closed under infinite products
Reflexive Tripleability Theorem
Region Automata Alternate Definition
Regular Permutation Groups
Regular Spaces
Regular Tree Languages
Relative Strength of ZF- and ZF
Removable Singularities in Analytic Functions
Repeated Events
Representable Functors
Representable Functors Define Representing Objects
Representable Matroids
Representable Universal Property of Colimits
Representable Universal Property of Limits
Representation of Limits and Colimits as Limits in category of sets
Residuals using Longest Common Prefixes
Result of Expressive Power of Gödel's system T
Retract of an Equivalence is an Equivalence
retract of an n-connected function is n-connected
Retract of an n-Type is an n-Type
Retractions
Retractions are quotients
Retracts (HoTT)
Right Congruent Equivalence Relation
Ring
Ring Homomorphisms
Rules for Higher Inductive Types
Runtime
S^1
Sankalp Talk - Ax Grothediek Raw
Satisfiability in First Order Logic
Savitch's Theorem
Scientific Data Science
Search vs Decision for NP complete problems
Second Countability
Second Order Logic
Semantics for CTL
Semantics for LTL
Semantics of ATL*
Semantics of First Order Logic
Semaphores
Semi Groups in Types Theory
Semi Ring
Semi-Groups
Semi-Modules
Semifield
Separable Extensions
Separable Polynomials
Separable Spaces
Separating and Coseparating sets
Separation Axioms
Separation Oracle for perfect matching LP
Sequent Calculus
Sequential Transducers
Sequentially Compact
Set Cover Problem
Set is Complete
Set is Complete and Cocomplete
Set of Languages accepted by Büchi Automata are exactly Omega-Regular
Set Pushout
Set Quotient
Set Quotient is equivalent to set of equivalences
Set quotients have universal property of coequalizers
Sets in Type Theory
Short Exact Sequences
Shortest Path using Primal-Dual
Showing a Point is Isolated is Undecidable
Shuffle Closure
Sigma Field
Sigma Types respect Universal Properties
sigma-paradise
Similar description of inductive types lead to equal types
similar tunes
Simple let expressions to Ordinary Lambda Calculus
Simple Regular Expressions
Simplex Method
Simplicial Complexes
Simply Closed sub-models
Simply Connected
Simply Typed Lambda Calculus Syntax
Simulation for Zone Automata
Simultaneous Fixed Points
Simultaneous Unboundedness Problem
Size of subsets of Reals
Slice Category Strictly Creates Limits
Slice Wise Polynomial Time
Slide Plan
Small Progress Measures
Small Categories
Small Limits in Set are Equalizers
Small Tree Decomposition
Small Tree Decompositions are Small
Smallest Filter Heyting Algebras
Smooth Manifold
Snake Lemma
Solution of a differential equation
Solution of an LP
Solving a First Order ODE
Solving a linear differential equations
Solving SAT using MSO
Solving Synchronous Distributed Games
Some Algorithms for finding the Minimum Spanning Trees
Some Applications of Kripke Structures
Some Contractible Types
Some Examples of Graphs
Some Generalization of Inductive Datatypes
Some Monadic Adjunctions
Some Problems in Computational Algebra
Some Type Formers respect Mere Propositions
Some Useful Inequalities
Some ways to Characterize Homotopy W types
Sparse recovery-compressed sensing
Special Adjunct Functor Theorem
Special Case of Tree Path Maxima Problem
Special Types of Measures
Specifying a Type
Spectrum of a Cube Graph
Spectrum of a Ring
Spectrum of The adjacency Matrix
Spectrum of the complement of a graph
Spectrums in PIDs
Sphere (HoTT)
Spin Locks
Split Coequalizer
Split Exact Sequences
Splitting Fields
Splitting of Primes in extensions
Spooky Day Logic stuff
Stable Subsemodule of Series
Stage Comparisons
Stages(Finite Model Theory)
Star Free Regular Languages are Aperiodic
Star Free Regular Languages can be accepted by FO on words
Starvation-freeness
Steiner Trees
Steiner Trees are NP Complete
Steinhaus Random sign problem
Stochastic Languages
Stochastic Languages are Regular if Threshold Point is Isolated
Stochastic Languages are Undecidable in General
Stoke's Theorem
Stone Cech Compactification from Special Adjunct Functor Theorem
Stone Spaces
Stone's Representation Theorem
Stopping Time
Strategy for Games on Graphs
Streams as Frames
Streams as Frames Alt
Strictly Creating Limits
Strings in Logic
Strong Normalization Theorem
Strongly Regular Graphs
Structure Preserving Maps
Sub-basis
Sub-Games
Sub-Types
Submodule and quotients
Subobjects
Subset Relation between Timed Regular Languages
Subset Sum Problem
Subspace Topology
Successor invariant FOL on finite structures
Succinct Encoding of Natural Numbers Using Strings
Succinct Reachability Automata for Parity Games
Sum Constructor Pattern Matching to Lambda Calculus
Sum of all Fibers of a Function is the Domain
Sum of n-types is an n-type
Sum off all Functions from all types are equivalent to a type family
Sum Types
Sum Types respect n-truncation
Sunflower Lemma
Support of an Automorphism on a Graph
Surjection and Embedding are equivalent to Equivalences
Surjections and Embeddings
Suspension of Boolean Type is Circle
Suspensions (HoTT)
SVA Assignment 0
SVA Assignment 0 part 4
SVA Staggered Problems
Synchronous Automata
Synchronous Distributed Games
Synchronous Languages are finite union of direct product languages
Syntax of First Order Logic
System of First Order Differential Equations
T-Transitiviy of Graphs
Tarski-Vaught test
TAS Lock
Temporal Logic
Tensor Products as Universal Properties
Tensors
Textbook review 8 math
The Category Graph is Closed
The Category Graph is Monoidal
The category Group is cocomplete
The Category of Garphs is Complete and Cocomplete
The Category Ring
The fundamental theorem of Galois Theory
The matching polytope has exponential extension complexity
The maximal elements of view of 2 processes is in the primary of both processes
The Principle of Unique Choice
The Riemann Sphere
Theorem- Bipartite Graph Eigen Value Pairs
Theorems about Stopping Times
Theories
Theories that admit Algebraically Prime Models
Theory of torsion-free divisible Abelian Groups is kappa categorical for uncountable kappa
There is a non-trivial proof for reflexivity of equality in Circle
There is a unique countable dense linear order upto isomorphism
Threshold Equivalence
Threshold Languages
Tietze Extension Theorem
Time and Space Hierarchy Theorems
Time Petri Net
Time Table Planning
Timed Automata Alternate Definition
Timed Automata Homework 1
Timed Automata Plan
Timed Automata with Diagonal Constraints
TOC Problem Set 1 (not graded)
Top is Complete and Cocomplete
Topological Groups
Topological Invariants
Topological Manifold
Topological Semantics for LTL
Topological Space of Paths in a Timed Automata is Baire
Topological Spaces
Topological Spaces as Frames
Topology over Finite Paths in a Timed Automata
Torsion submodule
Torus (HoTT)
Total Spaces (HoTT)
Total Unimodularity
Trace and Norm
Trace Closure is not the same as Shuffle Closure
Trace Independence is a Syntactic Congruence of Trace Languages
Traces (Concurrency)
Traces of Powers of Adjacency Matrices
Train Track Crossing for Timed Automata
Trakhtenbrot's Encoding of Turing Machine
Trakhtenbrot's Theorem
Transition Functions
Transitive Sets
Translating Haskell Programs to Lambda Calculus
Translation Scheme from Haskell to Lambda Calculus for Definitions
Translation Scheme from Haskell to Lambda Calculus for Expressions
Translation Scheme from Haskell to Lambda Calculus for Some RHS only options
Transport
Transport over a function between families
Transports in a Family of Paths
Transpose of a Weighted Automata
Travelling Salesman Problem
Tree Decomposition
Tree Decomposition and Size of the Tree
Tree Decomposition Lemma 1
Tree Decomposition of k-connected Graphs
Tree Packing
Tree Path Maxima Problem
Tree Width
Trees (Automata Theory)
Triangular Graphs
Trigonometric Functions
Truncation
Truncations are Cumulative
Truncations as a Reflective subcategory
Truncations Preserve Products
TTAS Lock
Tube Lemma
TUE 7 Lec Notes
Turing Machine Configuration
Turing Machines
Turing Machines with multiple tapes
Two Stacks
Two Variable Adjunction
Two-Way Infinite Tape Turing Machine
Tychonoff's Theorem
Type Inhabitation in P-SPACE
Type of a Set and a Relation
Type of n-Types
Type of Natural Number Algebra
Type of Natural Numbers is a Set
Type of W-Algebras
Type Theoretic Axiom of Choice
Type Theoretic Rosetta Stone
Type Theory vs Set Theory
Typed Combinatory Logic
Types are Higher Groupoids
Types of Modules
U-split Coequalizer
Uncapacitated Facility location
Uncountable Cardinalities
Undecidability of the Halting Problem
Undecidability of the Membership Problem
Uniform Definition of Haskell Functions
Uniform Topology
union of disjoint intervals giving an interval length
Unique construction of Adjunction
Uniqueness of fourier series
Uniqueness of functions created using induction principle
Uniqueness Principle for Sigma Types
Unit and Counit as Singleton and Evaluation
Unit and Counit as Universal Arrows
Unit Circle is a Manifold
Units (Rings)
Univalence
Univalence Implies Function Extensionality
Univalence Implies Weak Function Extensionality
Universal Elements are Universal Elements
Universal Finite Automaton
Universal Property (Mac Lane)
Universal Property (Riehl)
Universal Property of Modality
Universal Property of Polynomial Rings
Universal Property of Products and Coproducts
Universal Property of Pushouts
Universal Property of Set Truncations
Universal Property of Truncations
Universal Turing Machine
Universality is Decidable for One-Clock Timed Automata
Universality of Concurrent Object Class
Universe with circle is not a groupoid
Universes
Unraked Tree Automata
Unranked Trees in Logic
Untiming Timed Automata
Untitled
Updatable Timed Automata
Updatable Timed Automata with only update being x=x-1
Updatable Timed Automata with only x=c and x=y updates
Updatable Timed Automata without Diagonal Constraints and c in N
Upward Löwenheim–Skolem Theorem
Urysohn Lemma
Urysohn Metrization Theorem
Valuation of a P-name
Variable Rule for Match Function
Vaught Test
Vertex Cover Problem
Vertical and Horizontal Composition of Natural Transformations
Von Neumann Ordinals
W-Types
W-Types are the initial element in the category of W-Algebras
Weak Function Extensionality
Weakly initial objects and joint weakly initial sets
Web of Reductions
Weighted Automata
Weighted Automata as Formal Power Series
Weighted Automata on Series
Well Structured Transition Systems
Well-Preorder
What are Differential equations
What is Topology
WHILE programs
Why Differential Equations
Winning Arena for Büchi Games
Winning Arena for Parity Games
Winning Arena for Rabin Games
Winning Arena for Rabin Games - Fail
Winning Arena for Reachability Games
Winning Condition for Games on Graphs
Winning Strategy for Büchi Games
Winning Strategy for Player 1 in Banach-Mazur games
Winning Strategy for Player 2 in Banach-Mazur games
Winning Strategy for Reachability Games
Word Problem for Finitely Presented Groups is Undecidable
Word Problem for Finitely Presented Groups is Undecidable Lemma 1
ww where w is any word
YL presentation plan
Yoneda Embedding
Yoneda Lemma
Yoneda Lemma (presentation)
Yoneda Lemma as Kan extensions
Zeilonka's Algorithm for finding Parity Game Strategy
Zero Divisors
Zielonka's Theorem
Zig-Zag Product Construction of Expander Graphs
Zone Automata
Zone Automata Example
Presentations
Model Repair of Time Petri Nets
Model repair planning
Revisiting Complexity of First-Order and Monadic Second Order Logic
Verification of MST
Weak Alternating Automata are not that Weak
Weak Alternating Automata are not that Weak Presentation
Talks
Advances in Algorithmic Meta Theorems
Automated Verification of Test Input Generators
Codes - Madhur Tulsiani
concurrent stochastic games
Conterfactual Explanations for MITL Violation
Discrete Time Markov Chain
Greybox Learning of Languages Recognizable by Event Recording Automata
Guruswami
HyperPropertiers
Muller LTL Formulas
Percolation Thoery
Synchronized Distributed Games
Three views on LIA
Home
❯
tags
❯
Tag: Incomplete
Tag: Incomplete
458 items with this tag.
Mar 24, 2026
Automated Verification of Test Input Generators
Note
Incomplete
Mar 24, 2026
l,k Ajtai-Fagin Game for EMSO
Note
Incomplete
Mar 24, 2026
letrec-expressions to Irrefurtable let-expressions
Note
Incomplete
Mar 24, 2026
n-connected types
Note
Incomplete
Mar 24, 2026
n-truncation of a pushout is a pushout in n-types
Note
Incomplete
Mar 24, 2026
Winning Arena for Rabin Games
Note
Incomplete
Mar 24, 2026
Winning Strategy for Player 1 in Banach-Mazur games
Note
Incomplete
Mar 24, 2026
Winning Strategy for Player 2 in Banach-Mazur games
Note
Incomplete
Mar 24, 2026
YL presentation plan
Note
Incomplete
Mar 24, 2026
Yoneda Embedding
Note
Incomplete
Mar 24, 2026
Zero Divisors
Note
Incomplete
Mar 24, 2026
Zielonka's Theorem
Note
Incomplete
Mar 24, 2026
Zig-Zag Product Construction of Expander Graphs
Note
Incomplete
Mar 24, 2026
Valuation of a P-name
Note
Incomplete
Mar 24, 2026
WHILE programs
Note
Incomplete
Mar 24, 2026
Web of Reductions
Note
Incomplete
Mar 24, 2026
Weighted Automata on Series
Note
Incomplete
Mar 24, 2026
Weighted Automata
Note
Incomplete
Mar 24, 2026
Well Structured Transition Systems
Note
Incomplete
Mar 24, 2026
Universal Finite Automaton
Note
Incomplete
Mar 24, 2026
Universal Property of Polynomial Rings
Note
Incomplete
Mar 24, 2026
Universality is Decidable for One-Clock Timed Automata
Note
Incomplete
Mar 24, 2026
Universality of Concurrent Object Class
Note
Incomplete
Mar 24, 2026
Universe with circle is not a groupoid
Note
Incomplete
Mar 24, 2026
Unraked Tree Automata
Note
Incomplete
Mar 24, 2026
Type of n-Types
Note
Incomplete
Mar 24, 2026
Types of Modules
Note
Incomplete
Mar 24, 2026
Tree Packing
Note
Incomplete
Mar 24, 2026
Tree Path Maxima Problem
Note
Incomplete
Mar 24, 2026
Tree Width
Note
Incomplete
Mar 24, 2026
Truncations Preserve Products
Note
Incomplete
Mar 24, 2026
Truncations are Cumulative
Note
Incomplete
Mar 24, 2026
Type Inhabitation in P-SPACE
Note
Incomplete
Mar 24, 2026
Topology over Finite Paths in a Timed Automata
Note
Incomplete
Mar 24, 2026
Total Unimodularity
Note
Incomplete
Mar 24, 2026
Trakhtenbrot's Theorem
Note
Incomplete
Mar 24, 2026
Transition Functions
Note
Incomplete
Mar 24, 2026
Translating Haskell Programs to Lambda Calculus
Note
Incomplete
Mar 24, 2026
Translation Scheme from Haskell to Lambda Calculus for Definitions
Note
Incomplete
Mar 24, 2026
Translation Scheme from Haskell to Lambda Calculus for Expressions
Note
Incomplete
Mar 24, 2026
Translation Scheme from Haskell to Lambda Calculus for Some RHS only options
Note
Incomplete
Mar 24, 2026
Threshold Equivalence
Note
Incomplete
Mar 24, 2026
Time and Space Hierarchy Theorems
Note
Incomplete
Mar 24, 2026
Timed Automata Alternate Definition
Note
Incomplete
Mar 24, 2026
Topological Space of Paths in a Timed Automata is Baire
Note
Incomplete
Mar 24, 2026
Topological Spaces as Frames
Note
Incomplete
Mar 24, 2026
Tarski-Vaught test
Note
Incomplete
Mar 24, 2026
Tensor Products as Universal Properties
Note
Incomplete
Mar 24, 2026
Textbook review 8 math
Note
Incomplete
Mar 24, 2026
The Category Ring
Note
Incomplete
Mar 24, 2026
The maximal elements of view of 2 processes is in the primary of both processes
Note
Incomplete
Mar 24, 2026
Subset Sum Problem
Note
Incomplete
Mar 24, 2026
Successor invariant FOL on finite structures
Note
Incomplete
Mar 24, 2026
Sum Constructor Pattern Matching to Lambda Calculus
Note
Incomplete
Mar 24, 2026
Sum of n-types is an n-type
Note
Incomplete
Mar 24, 2026
Stochastic Languages are Regular if Threshold Point is Isolated
Note
Incomplete
Mar 24, 2026
Stochastic Languages are Undecidable in General
Note
Incomplete
Mar 24, 2026
Stochastic Languages
Note
Incomplete
Mar 24, 2026
Stone's Representation Theorem
Example
Incomplete
Mar 24, 2026
Stopping Time
Note
Incomplete
Mar 24, 2026
Sparse recovery-compressed sensing
Note
Incomplete
Mar 24, 2026
Special Case of Tree Path Maxima Problem
Note
Incomplete
Mar 24, 2026
Spectrum of a Ring
Note
Incomplete
Mar 24, 2026
Spectrums in PIDs
Note
Incomplete
Mar 24, 2026
Spin Locks
Note
Incomplete
Mar 24, 2026
Stable Subsemodule of Series
Note
Incomplete
Mar 24, 2026
Stage Comparisons
Note
Incomplete
Mar 24, 2026
Stages(Finite Model Theory)
Note
Incomplete
Mar 24, 2026
Star Free Regular Languages are Aperiodic
Note
Incomplete
Mar 24, 2026
Star Free Regular Languages can be accepted by FO on words
Note
Incomplete
Mar 24, 2026
Small Progress Measures
Note
Incomplete
Mar 24, 2026
Small Tree Decomposition
Note
Incomplete
Mar 24, 2026
Solution of an LP
Note
Incomplete
Mar 24, 2026
Solving Synchronous Distributed Games
Note
Incomplete
Mar 24, 2026
Some Algorithms for finding the Minimum Spanning Trees
Note
Incomplete
Mar 24, 2026
Showing a Point is Isolated is Undecidable
Note
Incomplete
Mar 24, 2026
Sigma Field
Note
Incomplete
Mar 24, 2026
Simple Regular Expressions
Note
Incomplete
Mar 24, 2026
Simple let expressions to Ordinary Lambda Calculus
Note
Incomplete
Mar 24, 2026
Simplex Method
Note
Incomplete
Mar 24, 2026
Simplicial Complexes
Note
Incomplete
Mar 24, 2026
Simultaneous Fixed Points
Note
Incomplete
Mar 24, 2026
Size of subsets of Reals
Note
Incomplete
Mar 24, 2026
Semaphores
Note
Incomplete
Mar 24, 2026
Semi-Groups
Note
Incomplete
Mar 24, 2026
Semi-Modules
Note
Incomplete
Mar 24, 2026
Semifield
Note
Incomplete
Mar 24, 2026
Separation Oracle for perfect matching LP
Note
Incomplete
Mar 24, 2026
Sequential Transducers
Note
Incomplete
Mar 24, 2026
Right Congruent Equivalence Relation
Note
Incomplete
Mar 24, 2026
Ring Homomorphisms
Note
Incomplete
Mar 24, 2026
Satisfiability in First Order Logic
Note
Incomplete
Mar 24, 2026
Savitch's Theorem
Note
Incomplete
Mar 24, 2026
Search vs Decision for NP complete problems
Note
Incomplete
Mar 24, 2026
Second Order Logic
Note
Incomplete
Mar 24, 2026
Reducing a Weighted Automata
Note
Incomplete
Mar 24, 2026
Reflection Theorems
Note
Incomplete
Mar 24, 2026
Region Automata Alternate Definition
Note
Incomplete
Mar 24, 2026
Relative Strength of ZF- and ZF
Note
Incomplete
Mar 24, 2026
Repeated Events
Note
Incomplete
Mar 24, 2026
Representable Matroids
Note
Incomplete
Mar 24, 2026
Residuals using Longest Common Prefixes
Note
Incomplete
Mar 24, 2026
Radon-Nikodym Theorem for Countably Generated Sigma Field
Note
Incomplete
Mar 24, 2026
Ramsay's Theorem
Note
Incomplete
Mar 24, 2026
Random Access Machines
Note
Incomplete
Mar 24, 2026
Randomised or Probabilistic Computation
Note
Incomplete
Mar 24, 2026
Randomized Algorithms
Note
Incomplete
Mar 24, 2026
Rank-k m,l Types MSO
Note
Incomplete
Mar 24, 2026
Rational Functions (Weighted Automata)
Note
Incomplete
Mar 24, 2026
Rational Numbers in Type Theory
Note
Incomplete
Mar 24, 2026
Rational Series
Note
Incomplete
Mar 24, 2026
Reachability Automata for Parity Games
Note
Incomplete
Mar 24, 2026
Reachability in Finite Pushdown VASS
Note
Incomplete
Mar 24, 2026
Quantified Boolean Formulas
Note
Incomplete
Mar 24, 2026
Quantifier Rank
Note
Incomplete
Mar 24, 2026
Quantifier rank
Note
Incomplete
Mar 24, 2026
Quotient Rings
Note
Incomplete
Mar 24, 2026
Quotienting by monic polynomial is an abelian group isomorphism with direct sum
Note
Incomplete
Mar 24, 2026
Quotients in Monoids
Note
Incomplete
Mar 24, 2026
Quotients of Polynomial Rings
Note
Incomplete
Mar 24, 2026
Quotients of Syntactic Monoid of a language
Note
Incomplete
Mar 24, 2026
R-Mod is a CCC
Note
Incomplete
Mar 24, 2026
Products in Rings
Note
Incomplete
Mar 24, 2026
Program for RAM
Note
Incomplete
Mar 24, 2026
Progress Measures (Intuition)
Note
Incomplete
Mar 24, 2026
Proof by Induction in Coq
Note
Incomplete
Mar 24, 2026
Properties of Minimum Spanning Trees
Note
Incomplete
Mar 24, 2026
Pure Sequential Transducers
Note
Incomplete
Mar 24, 2026
Prime Ideals are Maximal in PIDs
Note
Incomplete
Mar 24, 2026
Prime Models
Note
Incomplete
Mar 24, 2026
Prime elements are irreducible
Note
Incomplete
Mar 24, 2026
Principle Ideals
Note
Incomplete
Mar 24, 2026
Probabilistic Automata
Note
Incomplete
Mar 24, 2026
Probabilistic Perspective Games
Note
Incomplete
Mar 24, 2026
Probabilistically Checkable Proof
Note
Incomplete
Mar 24, 2026
Probability Measure over Finite Paths in a Timed Automata
Note
Incomplete
Mar 24, 2026
Product Constructor Pattern Matching to Lambda Calculus
Note
Incomplete
Mar 24, 2026
Polynomial Rings over a Noetherian Ring are Noetherian
Note
Incomplete
Mar 24, 2026
Polynomial Rings
Note
Incomplete
Mar 24, 2026
Polynomial-Time Hierarchy
Note
Incomplete
Mar 24, 2026
Polytime Approx Algo for Steiner Trees
Note
Incomplete
Mar 24, 2026
Positional Strategy for Mean Payoff Games
Note
Incomplete
Mar 24, 2026
Positive Formulas
Note
Incomplete
Mar 24, 2026
Post Correspondence Problem
Note
Incomplete
Mar 24, 2026
Predicable Process
Note
Incomplete
Mar 24, 2026
Prefix Preserving
Note
Incomplete
Mar 24, 2026
Prim's Algorithm
Note
Incomplete
Mar 24, 2026
Primal-Dual Algorithm for Bipartite Min-cost Perfect Matching
Note
Incomplete
Mar 24, 2026
Primal-Dual Algorithm for general Min-cost Perfect Matching
Note
Incomplete
Mar 24, 2026
Pattern Matching to Ordinary Lambda Calculus
Note
Incomplete
Mar 24, 2026
Pebble Games
Note
Incomplete
Mar 24, 2026
Ordering between Axiomatic Theories
Note
Incomplete
Mar 24, 2026
Ordinal Definable Sets
Note
Incomplete
Mar 24, 2026
P-Generic classes
Note
Incomplete
Mar 24, 2026
P-name
Note
Incomplete
Mar 24, 2026
PCP'
Note
Incomplete
Mar 24, 2026
PSPACE-Hardness of LTL Model Checking
Note
Incomplete
Mar 24, 2026
PSPACE
Note
Incomplete
Mar 24, 2026
PTAS (Complexity Class)
Note
Incomplete
Mar 24, 2026
Parity Games are solvable in Qusaipolynomial time - introduction
Note
Incomplete
MOC
Mar 24, 2026
Optimisations for Expressions containing FAIL and Fatbar
Note
Incomplete
Mar 24, 2026
Order Invariant FO(Cnt) is not Gaifman Local
Note
Incomplete
Mar 24, 2026
Order Invariant FO
Note
Incomplete
Mar 24, 2026
Ordered Fields
Note
Incomplete
Mar 24, 2026
Neighborhood (Finite Model Theory)
Note
Incomplete
Mar 24, 2026
Network Flows
Note
Incomplete
Mar 24, 2026
Network Reliability
Note
Incomplete
P
perfect
SAT
Mar 24, 2026
Nivat's Theorem
Note
Incomplete
Mar 24, 2026
Noetherian Modules
Note
Incomplete
Mar 24, 2026
Noetherian Ring and PIDs
Note
Incomplete
Mar 24, 2026
Non deterministic Space Hierarchy Theorem
Note
Incomplete
Mar 24, 2026
Non deterministic Time Hierarchy Theorem
Note
Incomplete
Mar 24, 2026
Monotone, Inflationary and Inductive Functions
Note
Incomplete
Mar 24, 2026
Motivation for Games
Note
Incomplete
Mar 24, 2026
Muller Automata to Games
Note
Incomplete
Mar 24, 2026
Multi-way Cuts
Note
Incomplete
Mar 24, 2026
Multiplicity Automata
Note
Incomplete
Mar 24, 2026
Multiplicity Codes
Note
Incomplete
Mar 24, 2026
Multivariate Polynomial Interpolation on Lines
Note
Incomplete
Mar 24, 2026
N_L admits Quantifier Elimination
Note
Incomplete
Mar 24, 2026
Modular Machines
Note
Incomplete
Mar 24, 2026
Monadic Functors Create all limits and some colimits
Note
Incomplete
Mar 24, 2026
Monoid Ring
Note
Incomplete
Mar 24, 2026
Monoidal Category
Note
Incomplete
Mar 24, 2026
Monoidal Closed Category
Note
Incomplete
Mar 24, 2026
Monoids as Idempotent Commutative Langauges
Note
Incomplete
Mar 24, 2026
Monomials, Polynomials and Series
Note
Incomplete
Mar 24, 2026
Monomorphisms and Epimorphisms in Rings
Note
Incomplete
Mar 24, 2026
Monotone Domination Order
Note
Incomplete
Mar 24, 2026
Mealy Machines and Moore Machines
Note
Incomplete
Mar 24, 2026
Measure Space
Note
Incomplete
Mar 24, 2026
Miller-Rabin Algorithm for Primality
Note
Incomplete
Mar 24, 2026
Minimizing a Weighted Automata
Note
Incomplete
Mar 24, 2026
Minimum Spanning Trees
Note
Incomplete
Mar 24, 2026
Minimum k-cut Problem
Note
Incomplete
Mar 24, 2026
Mixed Nash Equilibrium
Note
Incomplete
Mar 24, 2026
Model Repair and Conformance Checking of Time Aware Models
Note
Incomplete
Mar 24, 2026
Modular Machines are Turing Complete
Note
Incomplete
Mar 24, 2026
Lovasz Local Lemma
Note
Incomplete
Mar 24, 2026
MSO on Finite Words accept Regular Languages
Note
Incomplete
Mar 24, 2026
MTP 17-09-24
Note
Incomplete
Mar 24, 2026
Machinery for Probabilistic Semantics for Timed Automata
Note
Incomplete
Mar 24, 2026
Marczewski-Szpilrajn Theorem (Compactness)
Note
Incomplete
Mar 24, 2026
Martingale Transform
Note
Incomplete
Mar 24, 2026
Martingales
Note
Incomplete
Mar 24, 2026
Matching Problem
Note
Incomplete
Mar 24, 2026
Matroid Intersection
Note
Incomplete
Mar 24, 2026
Max wt base of a matroid
Note
Incomplete
Mar 24, 2026
List decoding Folded RS
Note
Incomplete
Mar 24, 2026
List decoding RS codes up to the Johnson radius
Note
Incomplete
Mar 24, 2026
Loc Past PDL
Note
Incomplete
Mar 24, 2026
Local Correcting and Decoding of RM codes
Note
Incomplete
Mar 24, 2026
Local Self-correction of Bivariate Multiplicity Codes
Note
Incomplete
Mar 24, 2026
Local problems on codes
Note
Incomplete
Mar 24, 2026
Locally Finite and Summable Series
Note
Incomplete
Mar 24, 2026
Location Lemma
Note
Incomplete
Mar 24, 2026
Logic, Regular Languages and Languages Recognized by Monoids
Note
Incomplete
Mar 24, 2026
Lemma for R-smooth Words
Note
Incomplete
Mar 24, 2026
Lifted Reed Solomon Codes
Note
Incomplete
Mar 24, 2026
Lindenbaum-Tarski Algebra
Note
Incomplete
Mar 24, 2026
Linear Algorithm for Special case of TPMP
Note
Incomplete
Mar 24, 2026
Language Operations on Monoids
Note
Incomplete
Mar 24, 2026
Largest common independent set of a matroid
Note
Incomplete
Mar 24, 2026
Lattice Graphs
Note
Incomplete
Mar 24, 2026
Lattice
Incomplete
Note
Mar 24, 2026
Left and Right Adjoints are Unique
Note
Incomplete
Mar 24, 2026
Lemma for BEF Games
Note
Incomplete
Mar 24, 2026
Lemma for H-smooth Words
Note
Incomplete
Mar 24, 2026
Lemma for J-smooth words
Note
Incomplete
Mar 24, 2026
L Rank of a constructible set
Note
Incomplete
Mar 24, 2026
L is a Model of ZFC + GCH
Note
Incomplete
Mar 24, 2026
L is a Model of ZFC
Note
Incomplete
Mar 24, 2026
L is a model of ZF
Note
Incomplete
Mar 24, 2026
L* example
Note
Incomplete
Mar 24, 2026
LAG 4 May
Incomplete
Mar 24, 2026
LFPsimult = LFP
Note
Incomplete
Mar 24, 2026
LP algorithm for Bipartite Matching
Note
Incomplete
Mar 24, 2026
LP algorithm for general Perfect Matching
Note
Incomplete
Mar 24, 2026
LTL vs CTL
Note
Incomplete
Mar 24, 2026
L_infty,omega star
Note
Incomplete
Mar 24, 2026
Ladner's Theorem
Note
Incomplete
Mar 24, 2026
Lambda Mu Calculus
Note
Incomplete
Mar 24, 2026
Lamport's Bakery Lock
Note
Incomplete
Mar 24, 2026
Karp-Lipton Theorem
Note
Incomplete
Mar 24, 2026
Kernelization Algorithm for Edge Clique Cover
Note
Incomplete
Mar 24, 2026
Kleene Shutzenberger Theorem
Note
Incomplete
Mar 24, 2026
Kolmogorov Translation
Note
Incomplete
Mar 24, 2026
Kolmogorov's One Series Theorem
Example
Incomplete
Mar 24, 2026
Krull Dimension
Note
Incomplete
Mar 24, 2026
Interval implies Function Extensionality
Note
Incomplete
Mar 24, 2026
Invariant Queries
Note
Incomplete
Mar 24, 2026
Irrefutable let(rec)
Note
Incomplete
Mar 24, 2026
Irrefutable let(rec)s to Simple let(rec)s
Note
Incomplete
Mar 24, 2026
Isolating Cut Heuristic for Multicut Problem
Note
Incomplete
Mar 24, 2026
Karger's min-cut algorithm
Note
Incomplete
Mar 24, 2026
If R is noetherian and M is finitely generated then M is noetherian
Note
Incomplete
Mar 24, 2026
Immerman–Szelepcsényi Theorem
Note
Incomplete
Mar 24, 2026
Immerman–Vardi's Theorem
Note
Incomplete
Mar 24, 2026
Implementation of Sets and Set Operations
Note
Incomplete
Mar 24, 2026
Inapproximability of Max Independent Set
Note
Incomplete
Mar 24, 2026
Inductive Types are Initial Algebras
Note
Incomplete
Mar 24, 2026
Infinte product and coproduct of modules do not coincide
Note
Incomplete
Mar 24, 2026
Integral Domain
Note
Incomplete
Mar 24, 2026
Homotopy Group
Note
Incomplete
Mar 24, 2026
Hover Operator (Verifiction of MST)
Note
Incomplete
Mar 24, 2026
IC3 Algrorithm
Note
Incomplete
Mar 24, 2026
INW generator for Space Bounded Computation
Note
Incomplete
Mar 24, 2026
Ideals in Quotients
Note
Incomplete
Mar 24, 2026
Ideals in a Monoid
Note
Incomplete
Mar 24, 2026
Ideals
Note
Incomplete
Mar 24, 2026
Identity Types form an Inductive Family
Note
Incomplete
Mar 24, 2026
If C is Complete and Cocomplete, so are the slice and coslice categories over C
Note
Incomplete
Mar 24, 2026
History(Concurrent Programming)
Note
Incomplete
Mar 24, 2026
Hoare Logic
Note
Incomplete
Mar 24, 2026
Green's Lemma
Note
Incomplete
Mar 24, 2026
Green's Relations
Note
Incomplete
Mar 24, 2026
Green's Theorem
Note
Incomplete
Mar 24, 2026
Group Testing problem
Note
Incomplete
Mar 24, 2026
Group-Free Semi-group
Note
Incomplete
Mar 24, 2026
Gurevich-Shelah's Theorem
Note
Incomplete
Mar 24, 2026
Guruswami-Sudan's list decoding of RS codes
Note
Incomplete
Mar 24, 2026
HNN - Extensions
Note
Incomplete
Mar 24, 2026
Hanf-local Queries are Gaifman-local
Note
Incomplete
Mar 24, 2026
Hedberg's Theorem
Note
Incomplete
Mar 24, 2026
Gaifman-Locality
Note
Incomplete
Mar 24, 2026
Generic Extensions of Set Theory Models
Note
Incomplete
Mar 24, 2026
Good Samaritan vs the Minimally Decent Samaritan
Note
Incomplete
Mar 24, 2026
Gossip Automata can be implemented as Asynchronous Automata
Note
Incomplete
Mar 24, 2026
Graph Connectivity is not Hanf-Local
Note
Incomplete
Mar 24, 2026
Functions as Functors of 2 Category
Note
Incomplete
Mar 24, 2026
Gaifman Graph
Note
Incomplete
Mar 24, 2026
First Cycle Mean Payoff Games
Note
Incomplete
Mar 24, 2026
Fixed Point Logics are subsumed by Finite Variable Logics
Note
Incomplete
Mar 24, 2026
Fixed Points
Note
Incomplete
Mar 24, 2026
Forbidden Ideal of an element in a Monoid
Note
Incomplete
Mar 24, 2026
Forward Reachability Tree
Note
Incomplete
Mar 24, 2026
Fractional Tree Packing
Note
Incomplete
Mar 24, 2026
Fragments of Second Order Logic
Note
Incomplete
Mar 24, 2026
Frames(Algebra)
Note
Incomplete
Mar 24, 2026
Fredmen and Tarjan's Algorithm
Note
Incomplete
Mar 24, 2026
Fibonacci Heap
Note
Incomplete
Mar 24, 2026
Field (Measure Theory)
Note
Incomplete
Mar 24, 2026
Filtered Category
Note
Incomplete
Mar 24, 2026
Filtered Probability Space
Note
Incomplete
Mar 24, 2026
Filtrations (Measure Theory)
Note
Incomplete
Mar 24, 2026
Finding the Downward Closure of Some Languages
Note
Incomplete
Mar 24, 2026
Finite Essentially Uninterpreted (FEU) fragment
Note
Incomplete
Mar 24, 2026
Finite Integral Domains are Fields
Note
Incomplete
Mar 24, 2026
Finite Sat for FOL
Note
Incomplete
Mar 24, 2026
Finite Variable Logics
Note
Incomplete
Mar 24, 2026
Extrapolation for Zone Automata
Note
Incomplete
Mar 24, 2026
FO Queries are Hanf Local
Note
Incomplete
Mar 24, 2026
FO on Finite Words accepts Star Free Languages
Note
Incomplete
Mar 24, 2026
FO(+, *)
Note
Incomplete
Mar 24, 2026
FO(All) is in AC0
Note
Incomplete
Mar 24, 2026
FO(All)
Note
Incomplete
Mar 24, 2026
FOL Inexpressibility
Note
Incomplete
Mar 24, 2026
FOL-Examples for Definability
Note
Incomplete
Mar 24, 2026
Factorization Forest Theorem
Note
Incomplete
Mar 24, 2026
Failure of CH in a suitable Model
Note
Incomplete
Mar 24, 2026
Farkas' Lemma
Note
Incomplete
Mar 24, 2026
Examples of Rings
Note
Incomplete
Mar 24, 2026
Existence of Gomory-Hu trees
Note
Incomplete
Mar 24, 2026
Expander Graphs and Applications
Note
Incomplete
Mar 24, 2026
Expander Graphs
Note
Incomplete
Mar 24, 2026
Expander Mixing Lemma
Note
Incomplete
Mar 24, 2026
Expansion Lemma
Note
Incomplete
Mar 24, 2026
Expressability of One-Clock Alternating Timed Automata
Note
Incomplete
Mar 24, 2026
Expression Complexity of a Logic
Note
Incomplete
Mar 24, 2026
Examples of Coequalizers
Note
Incomplete
Mar 24, 2026
Examples of Equalizers
Note
Incomplete
Mar 24, 2026
Examples of Equivalence of Categories
Note
Incomplete
Mar 24, 2026
Examples of FO(Cnt)
Note
Incomplete
Mar 24, 2026
Equivalent Definitions of Well-preorder
Example
Incomplete
Mar 24, 2026
Error Reduction for RP algorithms
Note
Incomplete
Mar 24, 2026
Even is (MSO + <)-expressible
Note
Incomplete
Mar 24, 2026
Even is not FO-definable for Linear Orders
Note
Incomplete
Mar 24, 2026
Every Finite Semi Group has an idempotent element
Note
Incomplete
Mar 24, 2026
Emptiness for Updatable Timed Automata
Note
Incomplete
Mar 24, 2026
Encoding Finite Model
Note
Incomplete
Mar 24, 2026
Encoding of Tuples
Note
Incomplete
Mar 24, 2026
Equality in Tropical Weighted Automata
Note
Incomplete
Mar 24, 2026
Equivalence between Machines
Note
Incomplete
Mar 24, 2026
Equivalence of Categories
Note
Incomplete
Mar 24, 2026
Duality Theorems for LP
Note
Incomplete
Mar 24, 2026
Edmond's algorithm for general Matching
Note
Incomplete
Mar 24, 2026
Edmonds-Karp algo for max flow
Note
Incomplete
Mar 24, 2026
Ehrenfeucht-Fraïssé Game for MSO
Note
Incomplete
Mar 24, 2026
Ehrenfeucht-Fraïssé Game
Note
Incomplete
Mar 24, 2026
Elementary Equivalence of Models
Note
Incomplete
Mar 24, 2026
Ellipsoid Algorithm
Note
Incomplete
Mar 24, 2026
Dimension of a Path
Note
Incomplete
Mar 24, 2026
Dinic's algo for max-flow
Note
Incomplete
Mar 24, 2026
Dinur's Theorem
Note
Incomplete
Mar 24, 2026
Direct Product Automata are not closed under boolean operations
Note
Incomplete
Mar 24, 2026
Distributed Alphabet
Note
Incomplete
Mar 24, 2026
Division Ring
Note
Incomplete
Mar 24, 2026
Doob Decomposition Theorem
Note
Incomplete
Mar 24, 2026
Doob's Martingale Convergence Theorem
Note
Incomplete
Mar 24, 2026
Doob's Maximal Inequality
Note
Incomplete
Mar 24, 2026
Doob's Upcrossings Inequality
Note
Incomplete
Mar 24, 2026
Definable Formulas are Countable
Note
Incomplete
Mar 24, 2026
Definable Power Set
Note
Incomplete
Mar 24, 2026
Definition of a Tree as a language over words
Note
Incomplete
Mar 24, 2026
Delta0 Formulas
Note
Incomplete
Mar 24, 2026
Dependency analysis for letrec expressions
Note
Incomplete
Mar 24, 2026
Dependent Types
Note
Incomplete
Mar 24, 2026
Coverability in Petri Nets is Decidable
Note
Incomplete
Mar 24, 2026
Curry Howard Isomorphism
Note
Incomplete
Mar 24, 2026
Data Complexity of a Logic
Note
Incomplete
Mar 24, 2026
Decidability of Finitely Satisfiability and Validity
Note
Incomplete
Mar 24, 2026
Dedekind Reals (HoTT)
Note
Incomplete
Mar 24, 2026
Dedekind Reals are Dedekind Complete
Note
Incomplete
Mar 24, 2026
Constructable Sets
Note
Incomplete
Mar 24, 2026
Continuum Hypothesis
Note
Incomplete
Mar 24, 2026
Convergence of a Sequence of Martingles
Note
Incomplete
Mar 24, 2026
Converting Case Expressions to Ordinary Lambda Calculus
Note
Incomplete
Mar 24, 2026
Converting Enriched Lambda Calculus to Ordinary Lambda Calculus
Note
Incomplete
Mar 24, 2026
Cook-Levin Theorem
Note
Incomplete
Mar 24, 2026
Coq Basics
Note
Incomplete
Mar 24, 2026
Concurrent Registers
Note
Incomplete
Mar 24, 2026
Conditional Expectation
Note
Incomplete
Mar 24, 2026
Cones and Cocones
Note
Incomplete
Mar 24, 2026
Conformality Transformation on let(rec) expressions
Note
Incomplete
Mar 24, 2026
Connectivity is not EMSO definable but is AMSO
Note
Incomplete
Mar 24, 2026
Connectivity is not FO Definable
Note
Incomplete
Mar 24, 2026
Connectivity is not FO definable for Finite Graphs
Note
Incomplete
Mar 24, 2026
Consensus Number for Compare and Set - Omega
Note
Incomplete
Mar 24, 2026
Consensus Number of Atomic Read Write Registers and Atomic Queue - 2
Note
Incomplete
Mar 24, 2026
Consequences of Monadic Functors Creating Limits
Note
Incomplete
Mar 24, 2026
Constant Pattern to Lambda Calculus
Note
Incomplete
Mar 24, 2026
Complete problem for NL
Note
Incomplete
Mar 24, 2026
Completeness of First Order Logic
Note
Incomplete
Mar 24, 2026
Completion of a Measure Space
Note
Incomplete
Mar 24, 2026
Complex Numbers as quotients of polynomial ring over Reals
Note
Incomplete
Mar 24, 2026
Complexity of FO(Cnt)All
Note
Incomplete
Mar 24, 2026
Complexity of FO
Note
Incomplete
Mar 24, 2026
Complexity of MSO over Bounded Tree-Width Structures
Note
Incomplete
Mar 24, 2026
Complexity of MSO
Note
Incomplete
Mar 24, 2026
Composition of Adjunctions
Note
Incomplete
Mar 24, 2026
Closure Properties of Recognizable functions
Note
Incomplete
Mar 24, 2026
Co-NP (Complexity Class)
Note
Incomplete
Mar 24, 2026
Cofinality
Note
Incomplete
Mar 24, 2026
Coin Example
Note
Incomplete
Mar 24, 2026
Combinatorial Optimisation
Note
Incomplete
Mar 24, 2026
Combined Complexity of a Logic
Note
Incomplete
Mar 24, 2026
Communication Free Petri-Net
Note
Incomplete
Mar 24, 2026
Commutative Ring
Note
Incomplete
Mar 24, 2026
Compactness Theorem
Note
Incomplete
Mar 24, 2026
Complete Lattice
Note
Incomplete
Mar 24, 2026
Cauchy approximation
Note
Incomplete
Mar 24, 2026
Checking if a word is related to Sigma*
Note
Incomplete
Mar 24, 2026
Choosing Limits of diagrams in Functorial
Note
Incomplete
Mar 24, 2026
Circuit Value Problem
Note
Incomplete
Mar 24, 2026
Closed Category
Note
Incomplete
Mar 24, 2026
Closure Properties of Rational Relations
Note
Incomplete
Mar 24, 2026
Can there be sparse sets that are NP-hard?
Note
Incomplete
Mar 24, 2026
Cannonical Decomposition of Ring Homomorphisms
Note
Incomplete
Mar 24, 2026
Cardinal Arithmetic
Note
Incomplete
Mar 24, 2026
Categorization of Equivalent Categories
Note
Incomplete
Mar 24, 2026
Category of Models for an Algebraic Theory
Note
Incomplete
Mar 24, 2026
Borel Sigma Field
Note
Incomplete
Mar 24, 2026
Building of Assignment Tester
Note
Incomplete
Mar 24, 2026
Büchi Automata for Linear Temporal Logic
Note
Incomplete
Mar 24, 2026
The matching polytope has exponential extension complexity
Note
Incomplete
Mar 24, 2026
CTL*
Note
Incomplete
Mar 24, 2026
Axiom of Constructibility
Note
Incomplete
Mar 24, 2026
Axioms Satisfied in M[G]
Note
Incomplete
Mar 24, 2026
Axioms for Higher Order Theory of Reals
Note
Incomplete
Mar 24, 2026
Banach-Mazur Games
Note
Incomplete
Mar 24, 2026
Basic ways to prove things using coq
Note
Incomplete
Mar 24, 2026
Bijective Ehrenfeucht-Fraïssé Game
Note
Incomplete
Mar 24, 2026
Binary Heaps
Note
Incomplete
Mar 24, 2026
Binomial Heaps
Note
Incomplete
Mar 24, 2026
Bipartite Expander Graphs
Note
Incomplete
Mar 24, 2026
Bipartite Graph Perfect Matching
Note
Incomplete
Mar 24, 2026
Boolean Circuits
Note
Incomplete
Mar 24, 2026
Aperiodic Monoids recognize all FO Definable Languages
Note
Incomplete
Mar 24, 2026
Applications of Error Correcting Codes
Note
Incomplete
Mar 24, 2026
Arden's Lemma
Note
Incomplete
Mar 24, 2026
Asynchronous Automata
Note
Incomplete
Mar 24, 2026
Axiom of Choice and its Variants
Note
Incomplete
Mar 24, 2026
Algorithm for Arborescence
Note
Incomplete
Mar 24, 2026
Alternating Turing Machine
Note
Incomplete
Mar 24, 2026
Any Equivalence can be promoted to an Adjunction
Note
Incomplete
Mar 24, 2026
Aperiodic Languages are Star Free Regular
Note
Incomplete
Mar 24, 2026
AC0
Note
Incomplete
Mar 24, 2026
APX (Complexity Class)
Note
Incomplete
Mar 24, 2026
Absoluteness of Formulas
Note
Incomplete
Mar 24, 2026
Acyclicity of Graphs is Definable in LFP
Note
Incomplete
Mar 24, 2026
Adjunctions in Functor Categories
Note
Incomplete
Mar 24, 2026
24th October Classwork
Incomplete
Mar 24, 2026
29th LP Notes
Note
Incomplete
Mar 24, 2026
A More Efficient Method for Petri Net Coverability
Note
Incomplete
Mar 24, 2026
A Proof System for FOL
Note
Incomplete
Mar 24, 2026
A Theory T admits QE for phi if any 2 models of T agree on phi on intersection
Note
Incomplete
Mar 24, 2026
+ is epxressible in FO(BIT, <)
Note
Incomplete
Mar 24, 2026
Allocation Problem
Note
Incomplete