Commit c8a851f7 authored by Florian Rabe's avatar Florian Rabe
Browse files

Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

parents dfb0cc55 a96d570a
......@@ -6,7 +6,7 @@
[subrepo]
remote = git@github.com:KWARC/LaTeX-proposal.git
branch = master
commit = 55b2e7d08cf1be209ba8512f2ec34e6b66ac3e2a
commit = c1a9781770da82f98d49de9be299fdb592435153
parent = 3ba83828b052b6d5c40498846f1c46775f01e449
method = merge
cmdver = 0.4.0
No preview for this file type
No preview for this file type
No preview for this file type
......@@ -6,7 +6,7 @@
[subrepo]
remote = git@github.com:KWARC/bibs.git
branch = master
commit = f21adc164bf14abf3f715018baeaecaba1f571e0
commit = 14704f24d2c70910f251f21f59e4d4c1a34d57ed
parent = 38bdd47fc690489d66053314060d031a07730161
method = merge
cmdver = 0.4.0
......@@ -508,6 +508,14 @@ abstract="Manifest fields in a type of modules are shown to be expressible in in
isbn="978-3-642-02444-3"
}
 
@ARTICLE{Liskov94abehavioral,
author = {Barbara H. Liskov and Jeanette M. Wing},
title = {A Behavioral Notion of Subtyping},
journal = {ACM Transactions on Programming Languages and Systems},
year = {1994},
volume = {16},
pages = {1811--1841}
}
@online{gloin:on,crossref={gloin:base},
label = {GLO},
......@@ -60,6 +60,11 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
 
@online{cocalc:on,
label = {CC},
title = {{CoCalc}: Collaborative Calculation in the Cloud},
url = {https://cocalc.com},
urldate = {2019-01-28}}
@online{wikidata:on,
label = {WD},
title = {Wikidata:Introduction},
......@@ -551,6 +556,14 @@ abstract="Manifest fields in a type of modules are shown to be expressible in in
isbn="978-3-642-02444-3"
}
 
@ARTICLE{Liskov94abehavioral,
author = {Barbara H. Liskov and Jeanette M. Wing},
title = {A Behavioral Notion of Subtyping},
journal = {ACM Transactions on Programming Languages and Systems},
year = {1994},
volume = {16},
pages = {1811--1841}
}
@online{gloin:on,crossref={gloin:base},
label = {GLO},
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment