brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-09-19 14:15:13 -04:00
Code Issues Projects Releases Packages Wiki Activity

Added dates to publications

Browse source
This commit is contained in:
Brandon Rozek 2024-01-01 19:40:09 -05:00
parent 396e8c03e5
commit 05d7fbc9d5
7 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
content/paper/2006.01.md
View file

@ -7,6 +7,7 @@ authors: [
"Veena Ravishankar", "Veena Ravishankar",
"Brandon Rozek" "Brandon Rozek"
] ]
date: 2020-06
publish_date: "2020/6" publish_date: "2020/6"
conference: "International Workshop on Unification" conference: "International Workshop on Unification"
firstpage: 58 firstpage: 58

1
content/paper/2109.01.md
View file

@ -9,6 +9,7 @@ authors: [
"Veena Ravishankar", "Veena Ravishankar",
"Brandon Rozek" "Brandon Rozek"
] ]
date: 2021-09-08
publish_date: "2021/09/08" publish_date: "2021/09/08"
conference: "International Symposium on Frontiers of Combining Systems" conference: "International Symposium on Frontiers of Combining Systems"
isbn: "978-3-030-86205-3" isbn: "978-3-030-86205-3"

1
content/paper/2203.01.md
View file

@ -13,6 +13,7 @@ authors: [
"Luis Rovira", "Luis Rovira",
"Brandon Rozek" "Brandon Rozek"
] ]
date: 2022-03-14
publish_date: "2022/3/14" publish_date: "2022/3/14"
conference: "International Workshop on Rewriting Logic and its Applications" conference: "International Workshop on Rewriting Logic and its Applications"
firstpage: 6 firstpage: 6

1
content/paper/2207.01.md
View file

@ -7,6 +7,7 @@ authors: [
"Selmer Bringsjord", "Selmer Bringsjord",
"Naveen Sundar Govindarajulu" "Naveen Sundar Govindarajulu"
] ]
date: 2022-07
publish_date: "2022/07" publish_date: "2022/07"
conference: "International Conference on Robot Ethics and Standards" conference: "International Conference on Robot Ethics and Standards"
isbn: "978-1-7396142-0-1" isbn: "978-1-7396142-0-1"

1
content/paper/2209.01.md
View file

@ -14,6 +14,7 @@ authors: [
"Luis Rovira", "Luis Rovira",
"Brandon Rozek" "Brandon Rozek"
] ]
date: 2022-09-20
publish_date: "2022/09/20" publish_date: "2022/09/20"
conference: "International Symposium on Games, Automata, Logic, and Formal Verification" conference: "International Symposium on Games, Automata, Logic, and Formal Verification"

1
content/paper/2305.01.md
View file

@ -8,6 +8,7 @@ authors: [
"Brandon Rozek", "Brandon Rozek",
"Naveen Sundar Govindarajulu" "Naveen Sundar Govindarajulu"
] ]
date: 2023-05-24
publish_date: "2023/05/24" publish_date: "2023/05/24"
conference: "International Conference on Artificial General Intelligence" conference: "International Conference on Artificial General Intelligence"

1
content/paper/2311.01.md
View file

@ -5,6 +5,7 @@ authors: [
"James T Oswald", "James T Oswald",
"Brandon Rozek" "Brandon Rozek"
] ]
date: 2023-11-27
publish_date: "2023/11/17" publish_date: "2023/11/17"
conference: "International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice" conference: "International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice"