mirai ikebuchi. homological methods in rewriting (invited talk)

Published 4 years ago • 459 plays • Length 48:03

Download video MP4
Download video MP3

Similar videos

24:41

minghui wang: multi-omic integration reveals cell-type-specific regulatory networks
10:24

lightning talk: retrie: equational rewriting for haskell
25:20

tadashi yamazaki - building a 1 mm^3 cerebellar module on a computer [2015]
16:59

weixi ma - λkanren: higher-order logic programming with shallow embedding
43:30

hiroshi iritani: on decompositions of quantum cohomology d-modules
7:49

tqft's and frobenius algebras (#some3)
35:02

this physics & artificial neural network equivalence can revolutionize ai
1:55:15

towards next-gen computation with quantum (japanese version)
30:47

[lsfa 2021] a note on confluence in typed probabilistic lambda calculi
14:53

regular language type inference with term rewriting (icfp 2020)
1:15:11

prof. nao hirokawa - automated complexity analysis for term rewriting
58:16

hiroshi iritani, kyoto university: fourier analysis of equivariant quantum cohomology iii
1:01:41

romit maulik, emulating complex systems from data using scientific machine learning
22:39

multi theorem preprocessing nizks from lattices
55:07

noam zeilberger - untyped linear lambda calculus and the combinatorics of 3-valent graphs
1:03:34

rené thiemann: certifying termination proofs: from term rewriting to smt solving and back (fscd a)
24:24

bqit 2018: mio murao - quantum theory
0:29

i want the ilc! by masao kuriki #mylinearcollider
17:52

[popl'22] certifying derivation of state machines from coroutines

Clip.africa.com - Privacy-policy